law string_comparison_identity

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

import Base

162law string_comparison_identity:
163  for a: String
164  for b: String
165  comparison_result_identity(String, String.cmp(a, b))