Module profile 

Query profiling infrastructure.

Provides ProfiledOperator, a wrapper that collects runtime statistics (row counts, timing, call counts) around any pull-based Operator. Used by the PROFILE statement to annotate each operator with actual execution metrics.

Structs

ProfileStats

Runtime statistics for a single operator in a profiled query.

ProfiledOperator

Wraps a pull-based Operator to collect runtime statistics.

Type Aliases

SharedProfileStats

Shared handle to profile stats, written by ProfiledOperator during execution and read afterwards for formatting.