Module profiling 

Profiling utilities for performance analysis.

Provides timing instrumentation to identify bottlenecks in evaluation.

Structs

Profiler

Profiling timer that tracks time spent in different operations.

TimingStats

Statistics for a timed operation.

Functions

print_summary

Print profiling summary (if profiling is enabled).

start

Start timing an operation (if profiling is enabled).

stop

Stop timing an operation (if profiling is enabled).

time

Time a closure (if profiling is enabled).