Skip to main content

uint_to_base128_len

vest_lib::primitives::base128

Function uint_to_base128_len 

Source 
pub exec fn uint_to_base128_len(v: UInt) -> len : usize
Expand description
ensures
len == nat_to_base128(v as nat).len(),