def Grid

import minebender-game@1.0.0.0/types.bend as Types

import Base

6# A grid is a list of rows. A layout is a grid of Bool, True where a mine is.
7def Grid(-A: Data) -> Data:
8  List<&2, List<&2, A>>

Uses (1)