Bastet__Verify.Bounded_Distributive_Lattice
L : Bastet.Interface.BOUNDED_DISTRIBUTIVE_LATTICE
include sig ... end
val distributivity : L.t -> L.t -> L.t -> bool