<> <> <> <> DIRECTORY Core; CoreSequence: CEDAR DEFINITIONS = BEGIN OPEN Core; <> <> <> sequenceCellClass: CellClass; SequenceCellType: TYPE = REF SequenceCellTypeRec; SequenceCellTypeRec: TYPE = RECORD [ base: CellType, count: NAT, stitches: Stitches _ NIL, sequence: SEQUENCE length: NAT OF NAT]; Stitches: TYPE = REF StitchesRec; StitchesRec: TYPE = RECORD [SEQUENCE length: NAT OF BindPair]; BindPair: TYPE = RECORD [ source: NAT, sink: NAT]; Create: PROC [design: Design, name: ROPE _ NIL, args: SequenceCellType] RETURNS [cellType: CellType]; <<>> Print: PROC [cell: SequenceCellType, out: STREAM]; END.