Contexts are often in a form #freezer_;__BILS-SYNTAX1_ ( ! _1 ).
I'd like to write a function that traverses evaluation contexts.
How does one pattern match evaluation contexts and traverse them?
EDIT: to give an example, if I want to log evaluation contexts I've seen so far into a file, I would need to write a function that converts an evaluation context into a string, and then print it via system calls. Is pattern matching evaluation contexts possible to do? alternatively, is there a built-in "to-string" function in K?