INTERFACE RMxNRep;
(*
  Definition and basic properties of the type "RMxN.T" *)

IMPORT RealExtraExtras;

TYPE T = ARRAY OF ARRAY OF REAL;
TYPE ElemT = REAL;

CONST DefaultElemFmt = RealExtraExtras.ToText;

END RMxNRep.