Module Js_of_ocaml_compiler.Dgraph
module Make
(N : sig ... end)
(NSet : Stdlib.Set.S with type elt = N.t)
(NMap : Stdlib.Map.S with type key = N.t) :
sig ... endmodule type ISet = sig ... endmodule type Tbl = sig ... endmodule Make_Imperative
(N : sig ... end)
(NSet : Js_of_ocaml_compiler.Dgraph.ISet with type elt = N.t)
(NTbl : Js_of_ocaml_compiler.Dgraph.Tbl with type key = N.t) :
sig ... endmodule type ACTION = sig ... endmodule type DOMAIN = sig ... endmodule Solver
(N : sig ... end)
(NSet : Js_of_ocaml_compiler.Dgraph.ISet with type elt = N.t)
(NTbl : Js_of_ocaml_compiler.Dgraph.Tbl with type key = N.t)
(A : Js_of_ocaml_compiler.Dgraph.ACTION)
(D : Js_of_ocaml_compiler.Dgraph.DOMAIN) :
sig ... end