Library zoo_std.int__opaque
From
zoo_std
Require
Import
int__code
.
#[
global
]
Opaque
int
٠
min
.
#[
global
]
Opaque
int
٠
max
.
#[
global
]
Opaque
int
٠
positive_part
.