def wcontains_append_r.go

minebender-game@1.0.0.0 · proof_flood.bend:159

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
import minebender-game@1.0.0.0/proof_cells.bend as PS

159def wcontains_append_r.go(+c: T.Pos, +xs: List<&2, G.Work>, +ys: List<&2, G.Work>, +q: T.Pos,
160  ih: {wcontains(List.append(&2, G.Work, xs, ys), q) == True{} : Bool}) ->
161  {Bool.or(B.same(c, q), wcontains(List.append(&2, G.Work, xs, ys), q)) == True{} : Bool}:
162  %Equal.sym(Bool, wcontains(List.append(&2, G.Work, xs, ys), q), True{}, ih) :
163    {Bool.or(B.same(c, q), _) == True{} : Bool}
164  PS.or_true_r(B.same(c, q))