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