Library zoo_mcas.mcas_1__opaque
From
zoo_mcas
Require
Import
mcas_1__code
.
#[
global
]
Opaque
mcas_1
٠
make
.
#[
global
]
Opaque
mcas_1
٠
get
.
#[
global
]
Opaque
mcas_1
٠
cas
.