Library zoo_std.random__opaque

From zoo_std Require Import
random__code.

#[global] Opaque random ٠ init.
#[global] Opaque random ٠ bits.
#[global] Opaque random ٠ int.
#[global] Opaque random ٠ int_in_range.