Depth counter for recursive types - uses tuple indexing to decrement. Prev[3] = 2, Prev[2] = 1, Prev[1] = 0, Prev[0] = never (stops recursion)
Depth counter for recursive types - uses tuple indexing to decrement. Prev[3] = 2, Prev[2] = 1, Prev[1] = 0, Prev[0] = never (stops recursion)