exception LibraryOutOfSync of string Lazy.t
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)
+ inherit g_eq_status
+ method set_eq_cache: unit_eq_cache -> 'self
+ method set_eq_status: #g_eq_status -> 'self
+ end
class type g_auto_status =
object
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
inherit g_dumpable_status
method set_dump: obj list -> 'self
method set_dumpable_status: #g_dumpable_status -> 'self