Module Make.Solver

Parameters

module D : DOMAIN

Signature

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