Library zoo_std.mutex__opaque

From zoo_std Require Import
mutex__code.

#[global] Opaque mutex ٠ create.
#[global] Opaque mutex ٠ create_lock.
#[global] Opaque mutex ٠ lock.
#[global] Opaque mutex ٠ unlock.
#[global] Opaque mutex ٠ synchronize.
#[global] Opaque mutex ٠ protect.