| InterpretationId of TermAcicContent.interpretation_id
| PrettyPrinterId of TermContentPres.pretty_printer_id
+let compare_notation_id x y =
+ match x,y with
+ | RuleId i1, RuleId i2 -> CicNotationParser.compare_rule_id i1 i2
+ | RuleId _, _ -> ~-1
+ | _, RuleId _ -> 1
+ | x,y -> Pervasives.compare x y
+
let parser_ref_counter = RefCounter.create ()
let rule_ids_to_items = Hashtbl.create 113