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