- char Stream.t -> (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement
-
-val parse_statements:
- char Stream.t ->
- (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement list
+ char Stream.t ->
+ (CicNotationPt.term, CicNotationPt.term, GrafiteAst.reduction,
+ GrafiteAst.obj, string)
+ GrafiteAst.statement