<> <> <> DIRECTORY Rope: TYPE USING [ROPE], SMOps: TYPE USING [MS], SMTree: TYPE Tree USING [Link]; SMEval: CEDAR DEFINITIONS~{ OPEN Tree~~SMTree; <> Env: TYPE~REF ScopeDescriptor; ScopeDescriptor: TYPE; <> Eval: PROC[m: SMOps.MS, t: Tree.Link, e: Env] RETURNS[Tree.Link]; UnitToRope: PROC[unitId: Tree.Link] RETURNS[Rope.ROPE]; <> Equiv: PROC[m: SMOps.MS, type1, type2: Tree.Link] RETURNS[BOOL]; Implies: PROC[m: SMOps.MS, type1, type2: Tree.Link] RETURNS[BOOL]; }.