int ->
object
  method add : (< .. > as 'a) -> unit
  method clear : unit -> unit
  method count : int
  method find : < .. > -> 'a
  method mem : < .. > -> bool
  method remove : < .. > -> unit
end