usesOfTA :: UsesOfAcc acc -> Idx aenv a -> Tuple (PreOpenExp acc env aenv) t -> Int
usesOfTA s idx tup =
  case tup of
    NilTup      -> 0
    SnocTup t e -> usesOfTA s idx t + usesOfEA s idx e
usesOfTA :: UsesOfAcc acc -> Idx aenv a -> Tuple (PreOpenExp acc env aenv) t -> Int
usesOfTA s idx tup =
  case tup of
    NilTup      -> 0
    SnocTup t e -> usesOfTA s idx t + usesOfEA s idx e
usesOfTA s idx tup =
  case tup of
    NilTup      -> 0
    SnocTup t e -> usesOfTA s idx t + usesOfEA s idx e