{"ast_node_type":"struct","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// a corresponding struct in `inspect`. We need this to track a
/// This only exists during proof tree building and does not have
/// bunch of metadata about the current evaluation.