Function vstd::bytes::spec_u32_from_le_bytes

source · 
pub closed spec fn spec_u32_from_le_bytes(s: Seq<u8>) -> u32
Expand description
recommends
s.len() == 4,