type notation_id
val process_notation:
- ('a, 'b) GrafiteAst.command -> ('a, 'b) GrafiteAst.command * notation_id list
+ 'obj GrafiteAst.command -> 'obj GrafiteAst.command * notation_id list
val remove_notation: notation_id -> unit
-(** @param fname file from which load notation *)
-val load_notation: string -> unit
-
(** {2 Notation enabling/disabling}
* Right now, only disabling of notation during pretty printing is supporting.
* If it is useful to disable it also for the input phase is still to be