<> <> <> DIRECTORY IO USING [STREAM], IPBasic USING [State], Rope USING [ROPE]; IPControl: CEDAR DEFINITIONS = BEGIN OPEN IPBasic; OpenMaster: PROC[name: Rope.ROPE] RETURNS[State]; PageCount: PROC[self: State] RETURNS[NAT]; DoPage: PROC[self: State, n: NAT]; SetErrorLog: PROC[self: State, log: IO.STREAM]; <<>> END.