~/jendhub

def cr.vm.lt

bend-osdev-crypto@0.1.0.0 · vmac.bend:201

import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

201def cr.vm.lt(a: CrU128, b: CrU128) -> Bool:
202  match a b:
203    case CrU128{+ah, al} CrU128{+bh, bl}:
204      Bool.or(W.W64.is_lt(ah, bh), Bool.and(W.W64.is_eq(ah, bh), W.W64.is_lt(al, bl)))

Uses (6)

Used by (1)