~/jendhub

def KCounter.above

bend-kit-crdt@0.2.0.0 · crdt.bend:317

import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt
import Base

317# True when s is empty or its first ID is above lo.
318def KCounter.above(~K: Data, ~cmp: K -> K -> Cmp, s: KCounter<K>, +lo: K) -> Bool:
319  match s:
320    case KNil{}:
321      True{}
322    case KCon{x, c, r}:
323      Cmp.is_lt(cmp(lo, x))

Uses (4)

Used by (1)