INTERFACE I4Rep;
(*
  Definition and basic properties of the type "I4.T" *)

IMPORT MPInt, RandomReal, GaussRandom, LR4;

CONST N = 4;
TYPE ElemT      = MPInt.T;
     T          = ARRAY[0..N-1] OF MPInt.T;
     IntegerT   = ARRAY[0..N-1] OF INTEGER;
     LongRealT  = LR4.T;

CONST URandomCoord = RandomReal.Real;
CONST NRandomCoord = GaussRandom.Real;

END I4Rep.