Module random_wh06_int

next_sequence(X1::ran()) -> ran()

seed() -> ran()

seed(X1::{integer(), integer(), integer(), integer()}) -> undefined | ran()

seed(A1::integer(), A2::integer(), A3::integer(), A4::integer()) -> undefined | ran()

seed0() -> ran()

uniform() -> integer()

uniform(N::pos_integer()) -> pos_integer()

uniform_s(X1::ran()) -> {integer(), ran()}

uniform_s(N::pos_integer(), State0::ran()) -> {integer(), ran()}