Library zoo_mcas.mcas_1__opaque

Require Import zoo_mcas.mcas_1__code.

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