~/jendhub

def cmp_one_hot

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

import mylsm-lsm-store@0.6.0.1/src/Keys.bend as Keys
import Base

83# Cmp is intrinsically one-hot; this predicate gives K6 a reusable statement.
84def cmp_one_hot(+ord: Cmp) -> Bool:
85  one_hot3(cmp_is_lt(ord), cmp_is_eq(ord), cmp_is_gt(ord))

Uses (6)

Used by (1)