def ton_put

minebender-game@1.0.0.0 · proof_solver.bend:1774

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

1774def ton_put(+b: Bool, +e: PS.WH, +t: S.Todo, +rest: List<&2, S.Todo>,
1775  ht: {todos_onb(e, [t]) == True{} : Bool}, hr: {todos_onb(e, rest) == True{} : Bool}) ->
1776  {todos_onb(e, List.filter.put(S.Todo, t, rest, b)) == True{} : Bool}:
1777  match b:
1778    case False{}:
1779      hr
1780    case True{}:
1781      match t:
1782        case S.Todo{c, rel}:
1783          %Equal.sym(Bool, todos_onb(e, rest), True{}, hr) : {Bool.and(items_onb(e, rel), _) == True{} : Bool}
1784          ht