def same

minebender-game@1.0.0.0 · LAWS.bend:34

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

34def same(p: T.Pos, q: T.Pos) -> Bool:
35  match p q:
36    case T.Pos{px, py} T.Pos{qx, qy}:
37      Nat.is_eq(px, qx) && Nat.is_eq(py, qy)