Module Dgraph.Make

Parameters

Signature

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 : functor (D : DOMAIN) -> sig ... end