{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"#[inline(never)]"}]}
    #[inline(never)]
    /// Interns a predicate. (Use `mk_predicate` instead, where possible.)
    fn intern_predicate(