INTERFACE LR2Rep; (* Definition and basic properties of the type "LR2.T" *) IMPORT LongRealExtraExtras, RandomReal, GaussRandom; CONST N = 2; TYPE T = ARRAY [0..N-1] OF LONGREAL; TYPE ElemT = LONGREAL; CONST DefaultElemFmt = LongRealExtraExtras.ToText; CONST URandomCoord = RandomReal.Longreal; CONST NRandomCoord = GaussRandom.LongReal; END LR2Rep.