type pretty_printer_id
val add_interpretation:
- string * CicNotationPt.argument_pattern list -> (* level 2 pattern *)
- CicNotationPt.cic_appl_pattern -> (* level 3 pattern *)
+ string * GrafiteAst.argument_pattern list -> (* level 2 pattern *)
+ GrafiteAst.cic_appl_pattern -> (* level 3 pattern *)
interpretation_id
val add_pretty_printer: