~/jendhub

def s_cmp_pair_refl

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

import mylsm-lsm-store@0.6.0.1/src/Keys.bend as Keys
import Base
import bend-mathlib@0.7.5.0/string.bend as MString

124# Handle s cmp pair refl in the key ordering and comparison.
125def s_cmp_pair_refl(+str: String) -> {String.cmp(str, str) == ((str, str), EQ{}) : (String & String) & Cmp}:
126  MString.cmp_refl(str)

Uses (6)

Used by (1)