def hex_join

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:273

import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM

import Base

273def hex_join(high: U32, low: U32) -> U32:
274    match high low:
275        case U32{WCon{h0, WCon{h1, WCon{h2, WCon{h3, _}}}}}
276             U32{WCon{l0, WCon{l1, WCon{l2, WCon{l3, _}}}}}:
277            U32{WCon{l0, WCon{l1, WCon{l2, WCon{l3,
278                WCon{h0, WCon{h1, WCon{h2, WCon{h3, Word.zero(24n)}}}}}}}}}

Uses (3)

Used by (4)