Module SolverBox.Widen

Parameters

module D : Lattice.S

Signature

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