
random_int_between(+Min, +Max, -X)

   Create random integer

Arguments
   Min                 Minimum value (integer)
   Max                 Maximum value (integer)
   X                   Random value (output integer)

Type
   library(ic_prop_test_util)

Modes and Determinism
   random_int_between(+, +, -) is det


