def W64.from_nat.pair

bend-osdev-word64@0.1.1.0 · word64.bend:96

import Base

96def W64.from_nat.pair(qr: Nat & Nat) -> W64:
97  (q, r) = qr
98  W64{U32.from_nat(q), U32.from_nat(r)}