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