Parameter Bounded_Distributive_Lattice.2-A

type t
type 'a arbitrary
val make : t arbitrary