* http://helm.cs.unibo.it/
*)
+type 'a localized_option =
+ LSome of 'a
+ | LNone of Token.flocation
+
type statement =
- (CicNotationPt.term, CicNotationPt.term, CicNotationPt.term GrafiteAst.reduction,
- CicNotationPt.obj, string)
- GrafiteAst.statement
+ include_paths:string list ->
+ LexiconEngine.status ->
+ LexiconEngine.status *
+ (CicNotationPt.term, CicNotationPt.term,
+ CicNotationPt.term GrafiteAst.reduction, CicNotationPt.obj, string)
+ GrafiteAst.statement localized_option
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