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