* http://helm.cs.unibo.it/
*)
+ (** @raise End_of_file *)
val parse_statement:
- char Stream.t -> (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement
-
-val parse_statements:
char Stream.t ->
- (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement list
+ (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement