def dexp_z
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
646def dexp_z(+e: Nat, z: Bool) -> Nat:
647 match z:
648 case True{}:
649 1926n
650 case False{}:
651 Nat.add(e, 1925n)
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
646def dexp_z(+e: Nat, z: Bool) -> Nat:
647 match z:
648 case True{}:
649 1926n
650 case False{}:
651 Nat.add(e, 1925n)