Keys.str_eq_refl: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Keys.bend as Keys
Lines 133-135 of mylsm-lsm-store@0.6.0.1/src/Keys.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Keys.bend&start_line=133&end_line=135

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-mathlib@0.8.1.0/string.bend&name=eq_refl
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Keys.bend&name=eq