{"ast_node_type":"variable","tokens":[{"end":29,"kind":"keyword","start":0,"text":"let"}]}
        let result = f(self);
        let old_debruijn = mem::replace(&mut self.in_binders, debruijn);
        self.in_binders = old_debruijn;