<<>> <> <> <> <> <> <<>> <> DIRECTORY Tioga USING [Node, Location, Order]; TiogaOpsDefs: CEDAR DEFINITIONS = BEGIN Ref: TYPE = Tioga.Node; Location: TYPE = Tioga.Location; WhichNodes: TYPE = { root, selection }; SelectionGrain: TYPE = { point, char, word, node, branch } ¬ char; WhichSelection: TYPE = { primary, secondary, feedback }; Order: TYPE = Tioga.Order; END.