INTERFACE R3Rep; (* Definition and basic properties of the type "R3.T" *) IMPORT RealExtraExtras, RandomReal, GaussRandom; CONST N = 3; TYPE T = ARRAY [0..N-1] OF REAL; TYPE ElemT = REAL; CONST DefaultElemFmt = RealExtraExtras.ToText; CONST URandomCoord = RandomReal.Real; CONST NRandomCoord = GaussRandom.Real; END R3Rep.