INTERFACE I3Rep;
(*
  Definition and basic properties of the type "I3.T" *)

IMPORT MPInt, RandomReal, GaussRandom, LR3;

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

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

END I3Rep.