Library zoo_eio.rcfd__opaque

Require Import zoo_eio.rcfd__code.

#[global] Opaque rcfd٠make.
#[global] Opaque rcfd٠closed.
#[global] Opaque rcfd٠finish.
#[global] Opaque rcfd٠put.
#[global] Opaque rcfd٠get.
#[global] Opaque rcfd٠use.
#[global] Opaque rcfd٠close.
#[global] Opaque rcfd٠remove.
#[global] Opaque rcfd٠is_open.
#[global] Opaque rcfd٠peek.