Functions for converting arbitrary (non-function, partial, possibly infinite) values into strings.
nlevels of descent into a term the output is replaced by
- All detectable occurences of bottoms are replaced by
- Non-bottom functions are displayed as
"<function /= _|_>".