def zero_e
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
124def zero_e(+e: Nat, z: Bool) -> Nat:
125 match z:
126 case True{}:
127 0n
128 case False{}:
129 e
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
124def zero_e(+e: Nat, z: Bool) -> Nat:
125 match z:
126 case True{}:
127 0n
128 case False{}:
129 e