GrafiteTypes.status ->
Ulexing.lexbuf ->
(GrafiteTypes.status ->
(CicNotationPt.term, CicNotationPt.term,
CicNotationPt.term GrafiteAst.reduction, CicNotationPt.term CicNotationPt.obj, string)
GrafiteAst.statement -> unit) ->
GrafiteTypes.status ->
Ulexing.lexbuf ->
(GrafiteTypes.status ->
(CicNotationPt.term, CicNotationPt.term,
CicNotationPt.term GrafiteAst.reduction, CicNotationPt.term CicNotationPt.obj, string)
GrafiteAst.statement -> unit) ->