def str_refl

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

import Base

128# Handle str refl in the key ordering and comparison.
129def str_refl(+str: String) -> {cmp(str, str) == EQ{} : Cmp}:
130  %Equal.sym((String & String) & Cmp, String.cmp(str, str), ((str, str), EQ{}), s_cmp_pair_refl(str)) : {unpack(_) == EQ{} : Cmp}
131  {==}