{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"Negative"}]}
            Negative => crate::ty::PredicatePolarity::Negative,
            Positive => crate::ty::PredicatePolarity::Positive,
        }