prolog::(+==)/2

(undocumented)

Private-func:

1. prolog::(+==)_2::(+==)/2(int ARG1, int ARG2)():