Library zoo_persistent.suf__opaque
From
zoo_persistent
Require
Import
suf__code
.
#[
global
]
Opaque
suf
٠
create
.
#[
global
]
Opaque
suf
٠
make
.
#[
global
]
Opaque
suf
٠
repr
.
#[
global
]
Opaque
suf
٠
equiv
.
#[
global
]
Opaque
suf
٠
union
.
#[
global
]
Opaque
suf
٠
capture
.
#[
global
]
Opaque
suf
٠
restore
.