Dgraph.Make_Imperative
N : sig ... end
NSet : ISet with type elt = N.t
NTbl : Tbl with type key = N.t
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 : functor (D : DOMAIN) -> sig ... end