prolog::satMaxUnary/2

(undocumented)

Private-func:

1. prolog::satMaxUnary_2::satMaxUnary/2(int ARG1, int ARG2)():