123456789101112131415161718192021222324252627282930313233343536373839(** Main type definitions *)typespan=..(** A span. Its representation is defined by the current collector. *)(** Information about a span's parent span, if any.
@since NEXT_RELEASE *)typeparent=|P_unknown(** Parent is not specified at this point *)|P_none(** We know the current span has no parent *)|P_someofspan(** We know the parent of the current span *)typeuser_data=[`Intofint|`Stringofstring|`Boolofbool|`Floatoffloat|`None](** User defined data, generally passed as key/value pairs to whatever collector
is installed (if any). *)typeexplicit_span=span[@@deprecated"use span"]typeexplicit_span_ctx=span[@@deprecated"use span"]typeextension_event=..(** An extension event, used to add features that are backend specific or simply
not envisioned by [trace]. See {!Core_ext} for some builtin extension
events.
@since 0.8 *)typeextension_parameter=..(** An extension parameter, used to carry information for spans/messages/metrics
that can be backend-specific or just not envisioned by [trace].
@since NEXT_RELEASE *)typemetric=..(** A metric, can be of many types. See {!Core_ext} for some builtin metrics.
@since NEXT_RELEASE *)