law lsame_sound

minebender-game@1.0.0.0 · proof_walk.bend:76

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

76law lsame_sound:
77  for +p: T.Pos
78  for +q: T.Pos
79  for e: {L.same(p, q) == True{} : Bool}
80  {p == q : T.Pos}