Types for keeping track of visited elements.
Visited addresses (pointers). Typically used in recursion during pretty-printing and serialization of cyclic data structures.
Is true iff T support slicing and ~=.
See Source File
Types for keeping track of visited elements.