{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
    /// Only public-facing way to traverse all the definitions in a non-local crate.
    /// Critically useful for this third-party project: <https://github.com/hacspec/hacspec>.