Euclid.Random.integer
You're seeing just the function
integer
, go back to Euclid.Random module for more information.
Specs
integer(max :: pos_integer()) :: pos_integer()
Returns a random integer between 0
and max