[ivy]<Satterthwaite>SML>SMEval.mesa!6

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];
}.