def on_board

minebender-game@1.0.0.0 · LAWS.bend:29

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

29def on_board(w: Nat, h: Nat, p: T.Pos) -> Bool:
30  match p:
31    case T.Pos{x, y}:
32      Nat.is_lt(x, w) && Nat.is_lt(y, h)