Module Distributive_Lattice.V

val distributivity : Bastet.Bool.Distributive_Lattice.t -> Bastet.Bool.Distributive_Lattice.t -> Bastet.Bool.Distributive_Lattice.t -> bool