def reach.start

minebender-game@1.0.0.0 · solver.bend:417

import Base
import minebender-game@1.0.0.0/board.bend as B

417def reach.start(+w: Nat, +h: Nat) -> Reach:
418  Reach{Nil{}, Nil{}, B.blank(Bool, w, h, False{})}