def one
import minebender-game@1.0.0.0/proof_solver.bend as ProofSolverimport Base
21def one(b: Bool) -> Nat:
22 Bool.pick(Nat, b, 1n, 0n)
import minebender-game@1.0.0.0/proof_solver.bend as ProofSolverimport Base
21def one(b: Bool) -> Nat:
22 Bool.pick(Nat, b, 1n, 0n)