{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"Bidirectional,"}]}
    Bidirectional,
    /// For invariant cases, we add both the forward and backward edges `O at P1 <-> O at P2`.
}