~/jendhub

def Read.is_later.parsed

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

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

2843# Whether the version whose two digits were read is later than 00.
2844def Read.is_later.parsed(parsed: Parsed<2n>) -> Result<&2, &2, Error, Bool>:
2845  match parsed:
2846    case Parsed{digits, rest}:
2847      Read.is_later(digits)

Uses (5)

Used by (1)