~/jendhub

law head_none

minebender-game@1.0.0.0 · proof_solver.bend:2511

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/board.bend as B

2511law head_none:
2512  for +hs: List<&2, T.Pos>
2513  for +p: T.Pos
2514  for e: {List.head(&2, T.Pos, hs) == None{} : Maybe<&2, T.Pos>}
2515  for m: {B.contains(hs, p) == True{} : Bool}
2516  Empty

Uses (9)

Used by (1)