law string_equal_comparison

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/proofs/native_map.bend:352

import Base

352law string_equal_comparison:
353  for a: String
354  for b: String
355  for e: {a == b : String}
356  {String.cmp(a, b) == ((a, b), EQ{}) : (String & String) & Cmp}