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