{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"///"}]}
/// finished proof tree.
/// is called to recursively convert the whole structure to a
pub(crate) struct ProofTreeBuilder<D, I = <D as SolverDelegate>::Interner>