Module 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