law string_compare_self

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/proofs/string_compare.bend:41

import Base

41law string_compare_self:
42  for s: String
43  {String.cmp(s, s) == ((s, s), EQ{}) : (String & String) & Cmp}