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