PROOF_FN_COPY
vstd
In vstd::
prelude
vstd
::
prelude
Constant
PROOF_
FN_
COPY
Copy item path
pub const PROOF_FN_COPY:
u8
= 4; // 4u8