Up – bastet » Bastet__Verify » Distributive_Lattice

Module `Bastet__Verify.Distributive_Lattice`

Parameters

L : Bastet.Interface.DISTRIBUTIVE_LATTICE

Signature

include sig ... end

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