pub fn set_t(elem_t: Type, len: TyParam) -> Type