vstd::prelude

Constant PROOF_FN_SEND

pub const PROOF_FN_SEND: u8 = 5; // 5u8