vstd::prelude

Constant PROOF_FN_COPY

pub const PROOF_FN_COPY: u8 = 4; // 4u8