type notation_id
+val compare_notation_id : notation_id -> notation_id -> int
+
val process_notation: LexiconAst.command -> notation_id list
val remove_notation: notation_id -> unit
(** {2 Notation enabling/disabling}
- * Right now, only disabling of notation during pretty printing is supporting.
+ * Right now, only disabling of notation during pretty printing is supported.
* If it is useful to disable it also for the input phase is still to be
* understood ... *)
val get_active_notations: unit -> notation_id list
val set_active_notations: notation_id list -> unit
+val push: unit -> unit
+val pop: unit -> unit