INTERFACE R4x4Rep;
(*
  Definition and basic properties of the type "R4x4.T" *)

IMPORT RealExtraExtras;

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

CONST DefaultElemFmt = RealExtraExtras.ToText;

END R4x4Rep.