Types.Pos: type of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/types.bend as Types
Lines 10-12 of minebender-game@1.0.0.0/types.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/types.bend&start_line=10&end_line=12

import Base

# A cell: column x, row y; Pos{0n, 0n} is the top-left cell.
type Pos is Data:
  Pos{x: Nat, y: Nat}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat