~/jendhub

law covered_extract

minebender-game@1.0.0.0 · proof_solver.bend:2200

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

2200law covered_extract:
2201  for +ctx: S.Ctx
2202  for +ls: List<&2, T.Grid(Bool)>
2203  for +c: T.Pos
2204  for cov: {S.covered(ls, c) == True{} : Bool}
2205  for +val: {all_valid(ctx, ls) == True{} : Bool}
2206  Witness(ctx, c)

Uses (16)

Used by (1)