Bindings are combined (that is merged) using the … of the names in b_1 and b_2; for … precedence. The binding b_1++b_2 is like b_1+b_2, except … nested binding in each, the nested bindings are …
Google-1
Google-2
Copyright clearance needed for quotation.