def pack

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/src/wide.bend:123

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as NM

123def pack(low: U32, high: U32) -> Word(64n):
124  NM.pack(low, high)