Library zoo_std.random_state__opaque

From zoo_std Require Import
  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.