def cr.vm.reduce

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

import Base

198def cr.vm.reduce(+x: CrU128) -> CrU128:
199  cr.vm.norm(cr.vm.fold(cr.vm.fold(x)))

Uses (3)