{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// When merging two "root" keys, their ranks determine which key becomes
    parent: Key,
    /// the new root, to prevent the parent tree from becoming unnecessarily