Module Dgraph.Make_Imperative

Parameters

module N : sig ... end
module NSet : ISet with type elt = N.t
module NTbl : Tbl with type key = N.t

Signature

type t = {
domain : NSet.t;
iter_children : (N.t -> unit) -> N.t -> unit;
}
val invert : NTbl.size -> t -> t
module type DOMAIN = sig ... end
module Solver (D : DOMAIN) : sig ... end