<> <> <> <> DIRECTORY AMTypes USING [TV, Type], InterpreterOps USING [EvalHead, RopeOrTV, Tree], Rope USING [ROPE]; BBUrpEval: CEDAR DEFINITIONS = BEGIN OPEN AMTypes, InterpreterOps, Rope; UrpWrongType: PROC [head: EvalHead, parent: Tree, value: TV, target: Type, msg: ROPE] RETURNS [correct: TV]; UrpId: PROC [head: EvalHead, parent: Tree, id: ROPE, context, target: Type, msg: ROPE] RETURNS [correct: RopeOrTV _ [fail[NIL]]]; UrpSelector: PROC [head: EvalHead, parent: Tree, id: ROPE, context: TV, target: Type, msg: ROPE] RETURNS [correct: RopeOrTV _ [fail[NIL]]]; UrpDefault: PROC [head: EvalHead, parent: Tree, type: Type, index: CARDINAL, msg: ROPE] RETURNS [correct: TV]; UrpFatal: PROC [head: EvalHead, parent: Tree, msg: ROPE]; END.