def same

minebender-game@1.0.0.0 · board.bend:22

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

22def same(p: T.Pos, q: T.Pos) -> Bool:
23  match p q:
24    case T.Pos{px, py} T.Pos{qx, qy}:
25      Nat.is_eq(px, qx) && Nat.is_eq(py, qy)