usesOfATA :: UsesOfAcc acc -> Idx aenv s -> Atuple (acc aenv) t -> Int
usesOfATA s idx atup =
  case atup of
    NilAtup      -> 0
    SnocAtup t a -> usesOfATA s idx t + s idx a
usesOfATA :: UsesOfAcc acc -> Idx aenv s -> Atuple (acc aenv) t -> Int
usesOfATA s idx atup =
  case atup of
    NilAtup      -> 0
    SnocAtup t a -> usesOfATA s idx t + s idx a
usesOfATA s idx atup =
  case atup of
    NilAtup      -> 0
    SnocAtup t a -> usesOfATA s idx t + s idx a