Module Make_Imperative.Solver

Parameters

module D : DOMAIN

Signature

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