law items_open_sound

minebender-game@1.0.0.0 · proof_solver.bend:356

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_cells.bend as PS

356law items_open_sound:
357  for +w: Nat
358  for +h: Nat
359  for +part: T.Grid(Maybe<&2, Bool>)
360  for +layout: T.Grid(Bool)
361  for +comp: {completes(w, h, part, layout) == True{} : Bool}
362  for +rel: List<&2, S.Item>
363  for +rok: {S.items_ok(rel, layout) == True{} : Bool}
364  for +ron: {items_onb(PS.WH{w, h}, rel) == True{} : Bool}
365  {S.items_open(part, rel) == True{} : Bool}