Make_Imperative.Solver
module D : DOMAIN
val f : NTbl.size -> t -> ( D.t NTbl.t -> N.t -> D.t ) -> D.t NTbl.t
val f' : NTbl.size -> t -> ( update:( children:bool -> N.t -> unit ) -> D.t NTbl.t -> N.t -> D.t ) -> D.t NTbl.t