def row_of

minebender-game@1.0.0.0 · proof_lists.bend:160

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

160def row_of(-A: Data, +g: T.Grid(A), +y: Nat) -> List<&2, A>:
161  Maybe.default(&2, List<&2, A>, List.get(&2, List<&2, A>, g, y), Nil{})