law out_first

minebender-game@1.0.0.0 · proof_gen.bend:281

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

281# The first click is always in its own zone.
282law out_first:
283  for +first: T.Pos
284  for +wide: Bool
285  {G.gen.out(G.Zone{first, wide}, first) == True{} : Bool}