def Read.known

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

import Base

2893# The known fields of a value, read by the rules of its version.
2894def Read.known(+text: String) -> Result<&2, &2, Error, TraceParentV00>:
2895  do Result<&2, &2, Error, TraceParentV00>:
2896    version : Parsed<2n> <- Parse.digits(2n, text, 0n)
2897    later : Bool <- Read.is_later.parsed(version)
2898    Read.by_version(later, text)