def limbs
import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wideimport Base
126def limbs(parts: Parts<32n, 32n>) -> U32 & U32:
127 Split{lo, hi} = parts
128 (U32{lo}, U32{hi})
import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wideimport Base
126def limbs(parts: Parts<32n, 32n>) -> U32 & U32:
127 Split{lo, hi} = parts
128 (U32{lo}, U32{hi})