def exp_pick

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:828

import Base

828def exp_pick(+t: Nat, pos: Bool) -> Exp:
829  match pos:
830    case True{}:
831      Exp{False{}, Nat.sub(t, 3000n)}
832    case False{}:
833      Exp{True{}, Nat.sub(3000n, t)}