{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// Allows nodes to be compared in some total order such that _if_
    dominators: Option<Dominators<BasicCoverageBlock>>,
    /// `a` dominates `b`, then `a < b`. If neither node dominates the other,