<> <<>> <> <> DIRECTORY IPBasic USING [Op], Rope USING [ROPE]; IPWritten: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; CompulsoryRope: TYPE ~ ROPE _; EncodingTable: TYPE ~ REF EncodingTableRep; EncodingTableRep: TYPE ~ ARRAY IPBasic.Op OF CompulsoryRope; GetEncodingTable: PROC RETURNS[EncodingTable]; END.