Up – bastet » Bastet » Verify » Distributive_Lattice

Module `Verify.Distributive_Lattice`

Parameters

L : Interface.DISTRIBUTIVE_LATTICE

Signature

include sig ... end

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