Function vstd::arithmetic::power::pow

source · 
pub open spec fn pow(b: int, e: nat) -> int
Expand description
{ if e == 0 { 1 } else { b * pow(b, (e - 1) as nat) } }

This function performs exponentiation recursively, to compute b to the power of a natural number e