sig
  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
end