def around_ok.cell

minebender-game@1.0.0.0 · proof_solver.bend:1671

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

1671def around_ok.cell(+b: Bool, +i: S.Item, +rest: List<&2, S.Item>, +layout: T.Grid(Bool),
1672  hi: {S.items_ok([i], layout) == True{} : Bool}, hr: {S.items_ok(rest, layout) == True{} : Bool}) ->
1673  {S.items_ok(List.filter.put(S.Item, i, rest, b), layout) == True{} : Bool}:
1674  match b:
1675    case False{}:
1676      hr
1677    case True{}:
1678      match i:
1679        case S.Item{p, s, ns}:
1680          %Equal.sym(Bool, S.items_ok(rest, layout), True{}, hr) :
1681            {Bool.and(S.item_ok(s, p, ns, layout), _) == True{} : Bool}
1682          hi