* http://helm.cs.unibo.it/
*)
-type 'a localized_option =
- LSome of 'a
- | LNone of GrafiteAst.loc
-
-type ast_statement = GrafiteAst.statement
-
type db
class type g_status =
(* never_include: do not call LexiconEngine to do includes,
* always raise NoInclusionPerformed *)
(** @raise End_of_file *)
-val parse_statement:
- #status ->
- Ulexing.lexbuf ->
- ast_statement localized_option
+val parse_statement: #status -> Ulexing.lexbuf -> GrafiteAst.statement