INTERFACE LRMxNRep; (* Definition and basic properties of the type "LRMxN.T" *) IMPORT LongRealExtraExtras; TYPE T = ARRAY OF ARRAY OF LONGREAL; TYPE ElemT = LONGREAL; CONST DefaultElemFmt = LongRealExtraExtras.ToText; END LRMxNRep.