def allp_member.go

minebender-game@1.0.0.0 · proof_cells.bend:27

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/proof_grid.bend as PG

27def allp_member.go(~E: Data, ~f: E -> T.Pos -> Bool, +e: E, +p: T.Pos, +t: List<&2, T.Pos>, +q: T.Pos,
28  +hd: {f(e, p) == True{} : Bool}, +b: Bool, be: {B.same(p, q) == b : Bool},
29  m: {Bool.or(b, B.contains(t, q)) == True{} : Bool},
30  ih: {B.contains(t, q) == True{} : Bool} -> {f(e, q) == True{} : Bool}) -> {f(e, q) == True{} : Bool}:
31  match b:
32    case True{}:
33      %PG.same_sound(p, q, be) : {f(e, _) == True{} : Bool}
34      hd
35    case False{}:
36      ih(m)