def Char.cmp
import Base1933def Char.cmp(a: Char, b: Char) -> (Char & Char) & Cmp:
1934 match a b:
1935 case Chr{+x} Chr{+y}:
1936 ((Chr{x}, Chr{y}), U32.cmp(x, y))
Uses (5)
Used by (23)
- String.cmp
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/native_map:string_compare_self
- bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/native_map:string_compare_self
- mylsm-lsm-store@0.3.2.0/src/Keys:str_eq_refl
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/proofs/string_compare:string_compare_self
- …