def one
import minebender-game@1.0.0.0/proof_gen.bend as ProofGenimport Base
361def one(b: Bool) -> Nat:
362 Bool.pick(Nat, b, 1n, 0n)
import minebender-game@1.0.0.0/proof_gen.bend as ProofGenimport Base
361def one(b: Bool) -> Nat:
362 Bool.pick(Nat, b, 1n, 0n)