def between

minebender-game@1.0.0.0 · solver.bend:189

import Base

189# k is still reachable from what is fixed: t mines, f unassigned cells.
190def between(+t: Nat, +f: Nat, +k: Nat) -> Bool:
191  Nat.is_le(t, k) && Nat.is_le(k, Nat.add(t, f))