Dgraph.Make
module N : sig ... end
module NSet : Set.S with type elt = N.t
module NMap : Map.S with type key = N.t
type t = {
domain : NSet.t;
fold_children : a. (N.t -> 'a -> 'a) -> N.t -> 'a -> 'a;
}
val invert : t -> t
module type DOMAIN = sig ... end
module Solver (D : DOMAIN) : sig ... end