def on_board

minebender-game@1.0.0.0 · board.bend:17

import Base
import minebender-game@1.0.0.0/types.bend as T

17def on_board(w: Nat, h: Nat, p: T.Pos) -> Bool:
18  match p:
19    case T.Pos{x, y}:
20      Nat.is_lt(x, w) && Nat.is_lt(y, h)