<> <> <> <> DIRECTORY Rope, ExampleGenericDef; ExampleBaseDef: CEDAR DEFINITIONS = BEGIN OPEN Rope, ExampleGenericDef; Op: TYPE = {plus, minus, mult, div}; ValueOf: PROC[numberNode] RETURNS[INT]; EqualOp: PROC[Op, Op] RETURNS[BOOLEAN]; Add: PROC[INT, INT] RETURNS[INT]; Subtract: PROC[INT, INT] RETURNS[INT]; Multipy: PROC[INT, INT] RETURNS[INT]; Divide: PROC[INT, INT] RETURNS[INT]; Signal: PROC RETURNS[INT]; Error: PROC[ROPE] RETURNS[INT]; END..