Library zoo_std.domain__opaque

Require Import zoo_std.domain__code.

#[global] Opaque domain٠yield.
#[global] Opaque domain٠self_index.
#[global] Opaque domain٠recommended_domain_count.