]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_disambiguation/macro.mli
new experimental cic textual parser: checkin
[helm.git] / helm / ocaml / cic_disambiguation / macro.mli
1
2 exception Macro_not_found of string
3 exception Utf8_not_found of string
4
5   (* @param macro name
6      @return utf8 string *)
7 val expand: string -> string
8
9 val contract: string -> string
10