ProcMap:
CEDAR DEFINITIONS = {
Item:
TYPE =
RECORD [
firstSource: INT,
proc: Rope.ROPE];
Object:
TYPE =
RECORD [
length: NAT,
info: SEQUENCE maxLength: NAT OF Item];
Handle: TYPE = REF Object;
Create: PROC [module: Rope.ROPE] RETURNS [Handle];
FromSource: PROC [h: Handle, src: INT] RETURNS [Rope.ROPE];
}.