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


-- Array expressions
-- -----------------
usesOfTE :: Idx env s -> Tuple (PreOpenExp acc env aenv) t -> Int
usesOfTE idx tup =
  case tup of
    NilTup      -> 0
    SnocTup t e -> usesOfTE idx t + usesOfE idx e


-- Array expressions
-- -----------------
usesOfTE idx tup =
  case tup of
    NilTup      -> 0
    SnocTup t e -> usesOfTE idx t + usesOfE idx e


-- Array expressions
-- -----------------