Parameter Bounded_Distributive_Lattice.2-E

type t = L.t
val eq : t -> t -> bool