Arrayset
Set implemented as an array.
module type S = sig ... end
module type OrderedTypeWithDummy = sig ... end
module Make (T : OrderedTypeWithDummy) : S with type e = T.t