Vmac.CrVmQr: type of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
Lines 285-288 of bend-osdev-crypto@0.1.0.0/vmac.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&start_line=285&end_line=288

import Base

# q (the quotient's two low base-2^32 digits) and r, for (x2, x1, x0)
# divided by 2^32 - 1, one digit at a time
type CrVmQr is Data:
  CrVmQr{q1: U32, q0: U32, r: U32}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32