def str_eq_refl

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

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

133# Handle str eq refl in the key ordering and comparison.
134def str_eq_refl(+str: String) -> {eq(str, str) == True{} : Bool}:
135  MString.eq_refl(str)