syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"FreshIntTy(v)"}]}
source_snippet:             FreshIntTy(v) => write!(f, "FreshIntTy({v})"),
context_before:             FreshTy(v) => write!(f, "FreshTy({v})"),
context_after:             FreshFloatTy(v) => write!(f, "FreshFloatTy({v})"),