Skip to main content

uint_to_base128

Function uint_to_base128 

Source
pub exec fn uint_to_base128(v: UInt) -> buf : Vec<u8> 
Expand description
ensures
buf@ == nat_to_base128(v as nat),