law same_refl

minebender-game@1.0.0.0 · proof_grid.bend:176

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

176law same_refl:
177  for +p: T.Pos
178  {B.same(p, p) == True{} : Bool}