prolog::satMinUnary/2

(undocumented)

Private-func:

1. prolog::satMinUnary_2::satMinUnary/2(int ARG1, int ARG2)():