SaffronContext:
CEDAR
DEFINITIONS =
BEGIN OPEN SaffronBaseDef;
Various base functions not in SaffronBaseDecls because unused by Saffron generated code.
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 <fl2, fl> )
misc stuff
END..