type ast_statement = GrafiteAst.statement
-exception NoInclusionPerformed of string (* full path *)
-
type db
class type g_status =
object
- inherit LexiconEngine.g_status
+ inherit LexiconTypes.g_status
method parser_db: db
end
class status :
object('self)
- inherit LexiconEngine.status
+ inherit LexiconTypes.status
method parser_db : db
method set_parser_db : db -> 'self
method set_parser_status : 'status. #g_status as 'status -> 'self
end
+val extend : #status as 'status ->
+ CicNotationParser.checked_l1_pattern ->
+ (NotationEnv.t -> NotationPt.location -> NotationPt.term) -> 'status
+
+
(* never_include: do not call LexiconEngine to do includes,
* always raise NoInclusionPerformed *)
(** @raise End_of_file *)