Up – js_of_ocaml-compiler » Js_of_ocaml_compiler » Dgraph » Make » Solver

Module `Make.Solver`

Parameters
Signature

Parameters

module D : DOMAIN

Signature

val f : t -> (D.t NMap.t -> N.t -> D.t) -> D.t NMap.t