{"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn mk_predicate(self, binder: Binder<'tcx, PredicateKind<'tcx>>) -> Predicate<'tcx> {
    #[inline]
        self.interners.intern_predicate(