law beq_sound

minebender-game@1.0.0.0 · proof_solver.bend:164

import Base

164law beq_sound:
165  for +a: Bool
166  for +b: Bool
167  for e: {beq(a, b) == True{} : Bool}
168  {a == b : Bool}