<> <<>> <> <> DIRECTORY Imager USING [Context], IP USING [State], Rope USING [ROPE]; IPExtras: CEDAR DEFINITIONS ~ BEGIN <<>> ROPE: TYPE ~ Rope.ROPE; OpenMaster: PROC[name: ROPE, imager: Imager.Context] RETURNS[IP.State]; PageCount: PROC[self: IP.State] RETURNS[NAT]; DoPage: PROC[self: IP.State, n: NAT] RETURNS[BOOL]; END.