Closed codemercenary closed 8 years ago
Useful in cases where we want to enumerate contexts and keep track of how deep we are, as in the case of printing a tree representation of contexts.
Useful in cases where we want to enumerate contexts and keep track of how deep we are, as in the case of printing a tree representation of contexts.