Last edited by:
Doug Wyatt, March 7, 1984 3:17:41 pm PST
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.