{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
    /// So e.g., if the relation is `->` and we have
    /// (where the relation is encoding the `<=` relation for the lattice).
    ///