base_upper_bound_excl

vstd::endian

Function base_upper_bound_excl 

Source 
pub open spec fn base_upper_bound_excl<B: Base>(len: nat) -> int
Expand description
{ pow(B::base() as int, len) }

The exclusive upper bound on values that can be stored with len digits in base B::base().