<> <> <> DIRECTORY IO USING [STREAM], RussellRuntime USING [RTValue, RTTuple], RussellICode USING [ICExp] ; RussellEval: CEDAR DEFINITIONS = BEGIN RussellEval: PROCEDURE [env: RussellRuntime.RTTuple, ip: RussellICode.ICExp] RETURNS [RussellRuntime.RTValue] ; RussellMkInitEnv: PROCEDURE [in: IO.STREAM, out: IO.STREAM] RETURNS [RussellRuntime.RTTuple] ; END .