* http://helm.cs.unibo.it/
*)
-val parse_statement:
- char Stream.t -> (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement
+type statement =
+ (CicNotationPt.term, CicNotationPt.term, GrafiteAst.reduction,
+ GrafiteAst.obj, string)
+ GrafiteAst.statement
-val parse_statements:
- char Stream.t ->
- (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement list
+val parse_statement: Ulexing.lexbuf -> statement (** @raise End_of_file *)
+
+ (** @raise End_of_file *)
+val parse_dependencies: Ulexing.lexbuf -> GrafiteAst.dependency list
+
+val statement: statement Grammar.Entry.e