{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// - there is no `Y != X` such that `a < Y` and `Y < X`
    /// - `a < X` and `b < X`
    ///   - except for the case where `X < a` (i.e., a strongly connected