val process_notation: LexiconAst.command -> notation_id list
val remove_notation: notation_id -> unit
(** {2 Notation enabling/disabling}
val process_notation: LexiconAst.command -> notation_id list
val remove_notation: notation_id -> unit
(** {2 Notation enabling/disabling}
val get_active_notations: unit -> notation_id list
val set_active_notations: notation_id list -> unit
val get_active_notations: unit -> notation_id list
val set_active_notations: notation_id list -> unit