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