class ['a] c :
  int ->
  object
    constraint 'a = < .. >
    method add : 'a -> unit
    method clear : unit -> unit
    method count : int
    method find : < .. > -> 'a
    method mem : < .. > -> bool
    method remove : < .. > -> unit
  end