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