matrix_type(+ Matrix,- Type)*
Unify NElems with the type of the elements in Matrix.
u)(
1. prolog::matrix_type_2::matrix_type/2(int ARG1, int ARG2)():