Library zoo_std.random_state__opaque

Require Import zoo_std.random_state__code.

#[global] Opaque random_state ٠ create.
#[global] Opaque random_state ٠ bits.
#[global] Opaque random_state ٠ int.
#[global] Opaque random_state ٠ int_in_range.