def cmp_one_hot_proof

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

import Base

87# Compare whether one hot proof holds for the key ordering and comparison.
88def cmp_one_hot_proof(+ord: Cmp) -> {cmp_one_hot(ord) == True{} : Bool}:
89  match ord:
90    case LT{}:
91      {==}
92    case EQ{}:
93      {==}
94    case GT{}:
95      {==}