Module proof_task_metrics 

Available on crate feature metrics only.

Proof task manager metrics.

Structs

ProofTaskCursorMetrics

Cursor metrics for proof task operations.

ProofTaskCursorMetricsCache

Cached cursor metrics for proof task operations.

ProofTaskTrieMetrics

Metrics for the proof task.