{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! value for each variable or fresh "arbitrary" types wherever a variable would have been.
//! Freshening is used primarily to get a good type for inserting into a cache. The result