module Bounded(E: Set.OrderedType) = struct

  module SE = Set.Make(E)

  type t = {
    bound : int ;
    mutable size : int ;
    mutable data : SE.t;
  }

end