def Walk

minebender-game@1.0.0.0 · proof_flood.bend:579

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/LAWS.bend as L

579def Walk(+w: Nat, +h: Nat, +layout: T.Grid(Bool), +p0: T.Pos, +q: T.Pos) -> Type:
580  Exists(List<&2, T.Pos>, path => {L.zero_walk(path, w, h, layout, p0, q) == True{} : Bool})

Uses (7)

Used by (8)