(** @raise End_of_file *)
val parse_statement:
- char Stream.t ->
- (CicNotationPt.term, GrafiteAst.obj, string) GrafiteAst.statement
+ Ulexing.lexbuf ->
+ (CicNotationPt.term, CicNotationPt.term, GrafiteAst.reduction,
+ GrafiteAst.obj, string)
+ GrafiteAst.statement
+ (** @raise End_of_file *)
+val parse_dependencies: Ulexing.lexbuf -> GrafiteAst.dependency list
+