Library zoo_eio.rcfd__opaque

From zoo_eio Require Import
  rcfd__code.

#[global] Opaque rcfd٠make.
#[global] Opaque rcfd٠use.
#[global] Opaque rcfd٠close.
#[global] Opaque rcfd٠remove.
#[global] Opaque rcfd٠is_open.
#[global] Opaque rcfd٠peek.