Searched defs:b_replaced (Results 1 – 1 of 1) sorted by relevance
634 let b_replaced = self.instantiate_binder_with_placeholders(b); in binders() localVariable655 let b_replaced = self.instantiate_binder_with_existentials(b); in binders() localVariable