Module Bounded_Distributive_Lattice.V

val distributivity : BDL.t -> BDL.t -> BDL.t -> bool