What does this OpenTelemetry typespec mean?

Questions & Help Questions
,
3

What weirded me out is that the OpenTelemetry library even uses this syntax at all. Wondered if there’s more to it than I can see (and I ran it through dialyzer as well).