Type Definition mamba::check::result::TypeResults

type TypeResults = Result<Vec<CheckInput>, Vec<TypeErr>>;