law same_sound

minebender-game@1.0.0.0 · proof_grid.bend:187

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

187law same_sound:
188  for +p: T.Pos
189  for +q: T.Pos
190  for +e: {B.same(p, q) == True{} : Bool}
191  {p == q : T.Pos}