Module type SolverBox.S

Parameters

module D : Lattice.S

Signature

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