Dgraph.Solver
module N : sig ... end
module NSet : ISet with type elt = N.t
module NTbl : Tbl with type key = N.t
module A : ACTION
module D : DOMAIN
type t = {
domain : NSet.t;
iter_children : (N.t -> A.t -> unit) -> N.t -> unit;
}
val f : state:D.t NTbl.t -> t -> (state:D.t NTbl.t -> dep:N.t -> target:N.t -> action:A.t -> D.t) -> unit