INTERFACE LR4x4Rep; (* Definition and basic properties of the type "LR4x4.T" *) IMPORT LongRealExtraExtras; CONST N = 4; TYPE T = ARRAY [0..N-1] OF ARRAY [0..N-1] OF LONGREAL; TYPE ElemT = LONGREAL; CONST DefaultElemFmt = LongRealExtraExtras.ToText; END LR4x4Rep.