prolog::maximum/1

(undocumented)

Private-func:

1. prolog::maximum_1::maximum/1(int ARG1)():