Up – bastet » Bastet » Verify » Bounded_Distributive_Lattice

Module `Verify.Bounded_Distributive_Lattice`

Parameters

L : Interface.BOUNDED_DISTRIBUTIVE_LATTICE

Signature

include sig ... end

val distributivity : L.t -> L.t -> L.t -> bool