INTERFACE FaceRep;
(*
  This interface defines the type "Set of Faces".
  
  Created in Sep. 16, 1997 by Marcus Vinicius A. Andrade
  Lasted edited in Sep. 16, 1997 by Marcus Vinicius A. Andrade *)

FROM SMCorner IMPORT Face;

TYPE 
  T = Face;
  
PROCEDURE Equal(e1,e2: T) : BOOLEAN;  

END FaceRep.