Make_Imperative.Solver
module D : DOMAIN
val f : NTbl.size -> t -> (D.t NTbl.t -> N.t -> D.t) -> D.t NTbl.t