- 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 *)