
<<SMEval.mesa>>
<<Copyright © 1985 by Xerox Corporation.  All rights reserved.>>
<<last edit by Satterthwaite, May 12, 1986 11:47:19 am PDT>>

DIRECTORY
Rope: TYPE USING [ROPE],
SMOps: TYPE USING [MS],
SMTree: TYPE Tree USING [Link];

SMEval: CEDAR DEFINITIONS~{
OPEN Tree~~SMTree;

<<name and environment management>>

Env: TYPE~REF ScopeDescriptor;
ScopeDescriptor: TYPE;

<<procs>>

Eval: PROC[m: SMOps.MS, t: Tree.Link, e: Env] RETURNS[Tree.Link];

UnitToRope: PROC[unitId: Tree.Link] RETURNS[Rope.ROPE];

<<type predicates (will move?)>>

Equiv: PROC[m: SMOps.MS, type1, type2: Tree.Link] RETURNS[BOOL];
Implies: PROC[m: SMOps.MS, type1, type2: Tree.Link] RETURNS[BOOL];

}.

