pub fn eq_closure_binder(l: &ClosureBinder, r: &ClosureBinder) -> bool