type Pos
import minebender-game@1.0.0.0/types.bend as Typesimport Base
10# A cell: column x, row y; Pos{0n, 0n} is the top-left cell.
11type Pos is Data:
12 Pos{x: Nat, y: Nat}
import minebender-game@1.0.0.0/types.bend as Typesimport Base
10# A cell: column x, row y; Pos{0n, 0n} is the top-left cell.
11type Pos is Data:
12 Pos{x: Nat, y: Nat}