INTERFACE R7Rep;
(*
  Definition and basic properties of the type "R7.T" *)

IMPORT RealExtraExtras, RandomReal, GaussRandom;

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

CONST DefaultElemFmt = RealExtraExtras.ToText;
CONST URandomCoord = RandomReal.Real;
CONST NRandomCoord = GaussRandom.Real;

END R7Rep.