<auto-generated stub>
def apply(x: Rep[S], y: Rep[Int]): Rep[Tup2[Int,:doc:int]]
def contains(x: Rep[S], y: Rep[Int], z: Rep[Int]): Rep[Boolean]
def size(x: Rep[S]): Rep[Int]