{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//!"}]}
//! mostly ignored. For a general overview of how it works,
//! This code is *a bit* of a mess and can hopefully be
//! see the comment on [ProofTreeBuilder].