* http://helm.cs.unibo.it/
*)
-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
+type parsable
+val parsable_statement: #status -> Ulexing.lexbuf -> parsable
+val parse_statement: #status -> parsable -> GrafiteAst.statement