def W64.small.join

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

import Base

315def W64.small.join(qhi: U32, ql: U32 & U32) -> W64Small:
316  (qlo, r) = ql
317  W64Small{W64{qhi, qlo}, r}