* 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 =
object
- inherit LexiconTypes.g_status
+ inherit CicNotationParser.g_status
method parser_db: db
end
-class status :
+class virtual status :
object('self)
- inherit LexiconTypes.status
- method parser_db : db
+ inherit g_status
+ inherit CicNotationParser.status
method set_parser_db : db -> 'self
method set_parser_status : 'status. #g_status as 'status -> 'self
end
(* 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