* http://helm.cs.unibo.it/
*)
-type ast_statement = GrafiteAst.statement
-
type db
class type g_status =
method parser_db: db
end
-class status :
+class virtual status :
object('self)
inherit g_status
inherit CicNotationParser.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
+val strm_of_parsable: parsable -> Ulexing.lexbuf