Module SolverBox.NarrowOption

Parameters

module D : Lattice.S

Signature

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