def Stuck

minebender-game@1.0.0.0 · LAWS.bend:183

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

183# No cell is provably safe: the player's only options are guesses.
184def Stuck(v: T.Knowledge) -> Type:
185  @p: T.Pos -> ProvablySafe(v, p) -> Empty