<> <> <> <> DIRECTORY RoseBehavior, RoseWireTypes; RoseTransduce: CEDAR DEFINITIONS = BEGIN Ptr: TYPE = RoseWireTypes.Ptr; boolType, bitType: RoseWireTypes.RoseWireType; ReadBool: PROC [p: Ptr] RETURNS [b: BOOL]; WriteBool: PROC [p: Ptr, b: BOOL]; ReadSwitch: PROC [p: Ptr] RETURNS [s: RoseBehavior.SwitchVal]; WriteSwitch: PROC [p: Ptr, s: RoseBehavior.SwitchVal]; END.