Parameter Make0.Box

Parameters

module D : Lattice.S

Signature

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