INTERFACE LR7Rep;
(*
  Definition and basic properties of the type "LR7.T" *)

IMPORT LongRealExtraExtras, RandomReal, GaussRandom;

CONST N = 7;
TYPE T = ARRAY [0..N-1] OF LONGREAL;
TYPE ElemT = LONGREAL;

CONST DefaultElemFmt = LongRealExtraExtras.ToText;
CONST URandomCoord = RandomReal.Longreal;
CONST NRandomCoord = GaussRandom.LongReal;

END LR7Rep.