{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
                    let b = this.instantiate_binder_with_existentials(b);
                self.enter_forall(a, |this, a| {
                    this.relate(a, b)