Library zoo_partition.partition__opaque

From zoo_partition Require Import
  partition__code.

#[global] Opaque partition٠make.
#[global] Opaque partition٠make_same_class.
#[global] Opaque partition٠get.
#[global] Opaque partition٠equal.
#[global] Opaque partition٠equiv.
#[global] Opaque partition٠repr.
#[global] Opaque partition٠cardinal.
#[global] Opaque partition٠refine.