Module SolverBox.Warrow

Parameters

module D : Lattice.S

Signature

val box : D.t -> D.t -> D.t