Skip to main content
PROOF_FN_OPENS
vstd
In vstd::
prelude
vstd
::
prelude
Constant
PROOF_
FN_
OPENS
Copy item path
pub const PROOF_FN_OPENS:
u8
= 7; // 7u8