let init = load_db;;
type automation_cache = NDiscriminationTree.DiscriminationTree.t
-type unit_eq_cache = NCicParamod.state
-
-class type g_eq_status =
- object
- method eq_cache : unit_eq_cache
- end
-
-class eq_status =
- object(self)
- val eq_cache = NCicParamod.empty_state
- method eq_cache = eq_cache
- method set_eq_cache v = {< eq_cache = v >}
- method set_eq_status
- : 'status. #g_eq_status as 'status -> 'self
- = fun o -> self#set_eq_cache o#eq_cache
- end
class type g_auto_status =
object
- method auto_cache : automation_cache
+ method auto_cache : automation_cache
end
class auto_status =
object
inherit g_status
inherit g_auto_status
- inherit g_eq_status
method dump: obj list
end
object(self)
inherit status
inherit auto_status
- inherit eq_status
val dump = ([] : obj list)
method dump = dump
method set_dump v = {< dump = v >}
method set_dumpable_status : 'status. #g_dumpable_status as 'status -> 'self
- = fun o ->
- (((self#set_dump o#dump)#set_coercion_status o)#set_auto_status o)#set_eq_status o
+ = fun o -> ((self#set_dump o#dump)#set_coercion_status o)#set_auto_status o
end
type 'a register_type =