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