module OrderedId =
struct
type t = CicNotation.notation_id
- let compare = Pervasives.compare
+ let compare = CicNotation.compare_notation_id
end
module IdSet = Set.Make (OrderedId)
in
List.iter CicNotation.remove_notation notation_to_remove
+let push () = CicNotation.push ();;
+let pop () = CicNotation.pop ();;