jon.recoil.org

Module Dgraph.Make

Parameters

module N : sig ... end
module NSet : Stdlib.Set.S with type elt = N.t
module NMap : Stdlib.Map.S with type key = N.t

Signature

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