def gen.coin
import minebender-game@1.0.0.0/game.bend as Gameimport Base
138def gen.coin(r: U32, +left: Nat, need: Nat) -> Bool:
139 Nat.is_lt(Nat.mod(U32.to_nat(r), left), need)
import minebender-game@1.0.0.0/game.bend as Gameimport Base
138def gen.coin(r: U32, +left: Nat, need: Nat) -> Bool:
139 Nat.is_lt(Nat.mod(U32.to_nat(r), left), need)