syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // aren't named. Eventually, we might just want this as the default, but
context_before:         // If we want to print verbosely, then print *all* binders, even if they
context_after:         // this is not *quite* right and changes the ordering of some output