law flood_shaped

minebender-game@1.0.0.0 · proof_flood.bend:89

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

89law flood_shaped:
90  for +n: Nat
91  for +work: List<&2, G.Work>
92  for +hd: Bool
93  for +w: Nat
94  for +h: Nat
95  for +layout: T.Grid(Bool)
96  for +shown: T.Grid(Bool)
97  for +sh: {B.shaped(Bool, w, h, shown) == True{} : Bool}
98  {B.shaped(Bool, w, h, G.flood(n, work, hd, w, h, layout, shown)) == True{} : Bool}