vstd
In vstd::
prelude
vstd
::
prelude
Constant
PROOF_FN_ONCE
Copy item path
pub const PROOF_FN_ONCE:
u8
= 1; // 1u8