INTERFACE R6x6Rep; (* Definition and basic properties of the type "R6x6.T" *) IMPORT RealExtraExtras; CONST N = 6; TYPE T = ARRAY [0..N-1] OF ARRAY [0..N-1] OF REAL; TYPE ElemT = REAL; CONST DefaultElemFmt = RealExtraExtras.ToText; END R6x6Rep.