INTERFACE FaceRep;
(*
  This interface is created just to define 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.