INTERFACE BodyRep;

IMPORT Body, FaceList, ConstraintList, SystemIO;

TYPE
  Tetrahedron = SystemIO.Tetrahedron;
  Vectors3D = SystemIO.Vectors3D;
  Private = Body.Public OBJECT
      m, n: CARDINAL;
      elems: REF ARRAY OF Tetrahedron;
      pos, vel: Vectors3D;
      faces: FaceList.T;
      constraints: ConstraintList.T;
      rest: BOOLEAN;
    END;

REVEAL
  Body.T <: Private;

END BodyRep.