def exp_of
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
835# t - 3000 as a signed exponent
836def exp_of(+t: Nat) -> Exp:
837 exp_pick(t, Nat.is_le(3000n, t))
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
835# t - 3000 as a signed exponent
836def exp_of(+t: Nat) -> Exp:
837 exp_pick(t, Nat.is_le(3000n, t))