type Ctx

minebender-game@1.0.0.0 · solver.bend:37

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

37type Ctx is Data:
38  Ctx{w: Nat, h: Nat, n: Nat, rows: T.Grid(T.Seen), items: List<&2, Item>}