Library zoo_std.random_round__opaque

From zoo_std Require Import
random_round__code.

#[global] Opaque random_round ٠ create.
#[global] Opaque random_round ٠ reset.
#[global] Opaque random_round ٠ next.