Euclid.Random.integer

You're seeing just the function integer, go back to Euclid.Random module for more information.
Link to this function

integer(max \\ 1_000_000_000)

View Source

Specs

integer(max :: pos_integer()) :: pos_integer()

Returns a random integer between 0 and max