def i64.of

bend-kit-time@0.3.0.0 · time.bend:31

import bend-kit-time@0.3.0.0/time.bend as Time

import Base
import bend-kit-int@0.2.0.0/int.bend as Int

31# hi * 2^32 + lo, as the bits of an I64.
32def i64.of(hi: U32, lo: U32) -> Int.I64:
33  Int.I64.or(Int.I64.shl(i64(hi), 32n), i64(lo))

Uses (5)

Used by (2)