vstd::bytes

Function spec_u128_from_le_bytes

Source 
pub closed spec fn spec_u128_from_le_bytes(s: Seq<u8>) -> u128
Expand description
recommends
s.len() == 16,