Library zoo_persistent.puf__opaque

From zoo_persistent Require Import
  puf__code.

#[global] Opaque puf٠create.
#[global] Opaque puf٠make.
#[global] Opaque puf٠repr.
#[global] Opaque puf٠equiv.
#[global] Opaque puf٠union.
#[global] Opaque puf٠capture.
#[global] Opaque puf٠restore.