~/jendhub

def SpanId.from_words

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

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

799# A span ID from two words, most significant first. An all-zero candidate is
800# None (law span_words).
801def SpanId.from_words(first: U32, second: U32) -> Maybe<&2, SpanId>:
802  SpanId.from_digits(Digits.NonZero.new(16n,
803    Digits.Digits.append(8n, 8n, Digits.Digits.of_u32(first), Digits.Digits.of_u32(second))))

Uses (7)

Used by (1)