def U32.to_hex

bend-trace-context@0.2.0.0 · trace_context.bend:768

import Base
import bend-trace-context@0.2.0.0/src/digits.bend as Digits

768# The eight lowercase hexadecimal digits of a word, most significant first
769# (laws hex_injective and word_hex).
770def U32.to_hex(word: U32) -> String:
771  Digits.Digits.to_string(8n, Digits.Digits.of_u32(word))