def one_if
import minebender-game@1.0.0.0/solver.bend as Solverimport Base
141def one_if(b: Bool) -> Nat:
142 Bool.pick(Nat, b, 1n, 0n)
import minebender-game@1.0.0.0/solver.bend as Solverimport Base
141def one_if(b: Bool) -> Nat:
142 Bool.pick(Nat, b, 1n, 0n)