Library zoo_std.ivar_2__opaque

Require Import zoo_std.ivar_2__code.

#[global] Opaque ivar_2٠create.
#[global] Opaque ivar_2٠make.
#[global] Opaque ivar_2٠try_get.
#[global] Opaque ivar_2٠is_unset.
#[global] Opaque ivar_2٠is_set.
#[global] Opaque ivar_2٠get.
#[global] Opaque ivar_2٠set.