def u32_saturating_pow

import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixed

import Base

140def u32_saturating_pow(+a: U32, +e: U32) -> U32:
141  or_top(U32, u32_max(), u32_checked_pow(a, e))

Uses (4)