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