CicNotationPt.cic_appl_pattern) list
val add_pretty_printer:
- ?precedence:int ->
- ?associativity:Gramext.g_assoc ->
+ precedence:int ->
+ associativity:Gramext.g_assoc ->
CicNotationPt.term -> (* level 2 pattern *)
CicNotationPt.term -> (* level 1 pattern *)
pretty_printer_id