Module Bounded_Distributive_Lattice.V
val distributivity : Bool.Bounded_Distributive_Lattice.t -> Bool.Bounded_Distributive_Lattice.t -> Bool.Bounded_Distributive_Lattice.t -> bool
Bounded_Distributive_Lattice.Vval distributivity : Bool.Bounded_Distributive_Lattice.t -> Bool.Bounded_Distributive_Lattice.t -> Bool.Bounded_Distributive_Lattice.t -> bool