~/jendhub

law at_true_self

minebender-game@1.0.0.0 · proof_flood.bend:51

import minebender-game@1.0.0.0/proof_flood.bend as ProofFlood
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B

51law at_true_self:
52  for +g: T.Grid(Bool)
53  for +q: T.Pos
54  for e: {B.at(Bool, False{}, g, q) == True{} : Bool}
55  {B.at(Bool, False{}, B.set_at(Bool, g, q, True{}), q) == True{} : Bool}

Uses (9)

Used by (1)