def cmp_eq_bridge

mylsm-lsm-store@0.6.0.1 · src/Keys.bend:113

import Base
import bend-mathlib@0.7.5.0/string.bend as MString

113# Compare whether eq bridge holds for the key ordering and comparison.
114def cmp_eq_bridge(+s1: String, +s2: String) -> {cmp_is_eq(cmp(s1, s2)) == eq(s1, s2) : Bool}:
115  %MString.internal_order_cmp(s1, s2) : {cmp_is_eq(cmp(s1, s2)) == Cmp.is_eq(_) : Bool}
116  cmp_eq_pair(String.cmp(s1, s2))