~/jendhub

law inv_assist

minebender-game@1.0.0.0 · proof_inv.bend:729

import minebender-game@1.0.0.0/proof_inv.bend as ProofInv
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/game.bend as G

729law inv_assist:
730  for +w: Nat
731  for +h: Nat
732  for +layout: T.Grid(Bool)
733  for +g: G.Game
734  for inv: Inv(w, h, layout, g)
735  for +k: Nat
736  Inv(w, h, layout, G.assist(g, k))

Uses (10)

Used by (1)