{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
/// This only exists during proof tree building and does not have
/// a corresponding struct in `inspect`. We need this to track a