4.15.5 Integer functor

4.15.5.1 Select function

The select function uses the selection constraint for Oz finite domain variables to select one integer from the list of integers.

4.15.5.2 Make variable function

The make variable function creates an Oz finite domain variable ranging over all possible integers.

4.15.5.3 Count function

The count function returns:

     o(fd: 1
       fs: 0)

4.15.5.4 Additional interface features

None.