* 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 =
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 localized_option
+type parsable
+val parsable_statement: #status -> Ulexing.lexbuf -> parsable
+val parse_statement: #status -> parsable -> GrafiteAst.statement
+val strm_of_parsable: parsable -> Ulexing.lexbuf