Module Distributive_Lattice.V

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