Library zoo_std.random__opaque
Require
Import
zoo_std.random__code
.
#[
global
]
Opaque
random
٠
init
.
#[
global
]
Opaque
random
٠
bits
.
#[
global
]
Opaque
random
٠
int
.
#[
global
]
Opaque
random
٠
int_in_range
.