Library zoo_std.mutex__opaque

Require Import zoo_std.mutex__code.

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