<> <> <> DIRECTORY SaffronBaseDef USING[FieldListNode, FieldNode, FrozenFieldListNode]; SaffronContext: CEDAR DEFINITIONS = BEGIN OPEN SaffronBaseDef; <<>> <> <<>> <<>> PrependFieldToFieldList: PROC[f: FieldNode, fl: FieldListNode] RETURNS[flp: FieldListNode]; PrependFFLToFieldList: PROC[ffl: FrozenFieldListNode, fl: FieldListNode] RETURNS[flp: FieldListNode]; AppendFFLToFieldList: PROC[fl: FieldListNode, ffl: FrozenFieldListNode] RETURNS[flp: FieldListNode]; <<(all damage fl, produces no Sharing)>> <<>> ConcatFieldLists: PROC[fl1, fl2: FieldListNode] RETURNS[fl: FieldListNode]; <<(damages fl1, shares )>> <<>> <<>> <> ErrorSignal: ERROR; END..