Module Dgraph.Solver

Parameters

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

Signature

type t = {
  1. domain : NSet.t;
  2. 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