Library zoo_mcas.mcas_2__opaque

Require Import zoo_mcas.mcas_2__code.

#[global] Opaque mcas_2٠clear.
#[global] Opaque mcas_2٠status_to_bool.
#[global] Opaque mcas_2٠finish.
#[global] Opaque mcas_2٠determine_as.
#[global] Opaque mcas_2٠lock.
#[global] Opaque mcas_2٠eval.
#[global] Opaque mcas_2٠determine.
#[global] Opaque mcas_2٠make.
#[global] Opaque mcas_2٠get.
#[global] Opaque mcas_2٠mcas_2.
#[global] Opaque mcas_2٠mcas_1.
#[global] Opaque mcas_2٠mcas.