syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // fixed amount. Useful in instantiation or when otherwise introducing
context_before: // Shifts the De Bruijn indices on all escaping bound vars by a
context_after: // a binding level that is not intended to capture the existing bound