Types.Tile: type of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/types.bend as Types
Lines 55-63 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=55&end_line=63

import Base

# What one cell looks like on screen.
type Tile is Data:
  Covered{}
  Flagged{}
  Number{n: Nat}
  Blast{}
  Mine{}
  BadFlag{}
  Hint{}

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