~/jendhub

def cr.vm.mod64

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

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

278# x below 2^130 (as hi, lo) mod p64
279def cr.vm.mod64(+x: CrU128) -> W.W64:
280  cr.vm.last64(cr.vm.f64(cr.vm.f64(x)))

Uses (4)

Used by (1)