Base.Hooks
module S = S
module HM = HM
val print_data : unit -> unit
Print additional solver data statistics.
val system : S.v -> ((S.v -> S.d) -> (S.v -> S.d -> unit) -> S.d) option
Wrap S.system. Always use this hook instead of S.system!
S.system
val delete_marked : S.v list -> unit
Incrementally delete additional solver data.
val stable_remove : S.v -> unit
Remove additional solver data when variable removed from stable.
stable
val prune : reachable:unit HM.t -> unit
Prune unreachable additional solver data.