pub fn array_2<'gcx>( elem: Term<Name<Interned<'gcx, str>>>, len: Term<Name<Interned<'gcx, str>>>, gcx: &'gcx GlobalCx<'gcx>, ) -> Term<Name<Interned<'gcx, str>>>
array/2