Copyright © 1986 by Xerox Corporation. All rights reserved.

Hal Murray, January 22, 1986 11:11:54 pm PST

Rope USING [ROPE];

ROPE: TYPE = Rope.ROPE;

TenWords: TYPE = ARRAY [0..10) OF WORD ← ALL[0];

Page: TYPE = ARRAY [0..256) OF WORD ← ALL[0];

TenPages: TYPE = ARRAY [0..0256) OF WORD ← ALL[0];

Error: ERROR;

Simple: PROC;

SloshTenWords: PROC [tenWords: TenWords] RETURNS [mumble: TenWords];

SloshPage: PROC [page: Page] RETURNS [mumble: Page];

SloshTenPages: PROC [pages: TenPages] RETURNS [mumble: TenPages];

PushPage: PROC [page: Page];

PullPage: PROC RETURNS [mumble: Page];

DoAtom: PROC [atom: ATOM];

DoRope: PROC [rope: ROPE];