{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"type"}]}
    type ProofTreeBuilder = ProofTreeBuilder<D>;
    fn inspect_is_noop(inspect: &mut Self::ProofTreeBuilder) -> bool {