-- SMTypes.mesa
-- lasted edited by Satterthwaite, May 16, 1983 10:01 am

DIRECTORY
  SMTree: TYPE Tree USING [Link];
  
SMTypes: CEDAR DEFINITIONS~{
  OPEN Tree~~SMTree;

  Equiv: PROC[type1, type2: Tree.Link] RETURNS[BOOL];
  Implies: PROC[type1, type2: Tree.Link] RETURNS[BOOL];
  
  }.