<> <> <> <> <> <<>> <> TiogaOpsDefs: CEDAR DEFINITIONS = BEGIN Ref: TYPE = REF NodeBody; -- points to a Tioga node NodeBody: TYPE; Location: TYPE = RECORD [node: Ref, where: INT]; WhichNodes: TYPE = { root, selection }; SelectionGrain: TYPE = { point, char, word, node, branch }; Order: TYPE = { before, same, after, disjoint }; WhichSelection: TYPE = { primary, secondary, feedback }; <> END.