~/jendhub

def cmp_one_hot

mylsm-lsm-store@0.3.2.0 · src/Keys.bend:67

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

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

Uses (6)

Used by (1)