- ((CicNotationPt.term, CicNotationPt.term,
- CicNotationPt.term GrafiteAst.reduction, CicNotationPt.term CicNotationPt.obj, string)
+ ((NotationPt.term, NotationPt.term,
+ NotationPt.term GrafiteAst.reduction, NotationPt.term NotationPt.obj, string)