prolog::satMinBinary/2

(undocumented)

Private-func:

1. prolog::satMinBinary_2::satMinBinary/2(int ARG1, int ARG2)():