Module functions 

Auto-generated module

🤖 Generated with SplitRS

Functions

count_filtered

Count events in a tracer matching a filter.

count_matching

Count events matching a predicate.

def_eq_event

Build a debug event for definitional equality checking.

def_eq_event_at

Build a trace event for definitional equality with location.

elab_event

Build a trace event for elaboration.

error_event

Build an error event with no category.

filter_events

Filter events by a predicate and return formatted strings.

filtered_events

Filter events from a tracer using a filter.

has_message_containing

Check whether the tracer has logged any event with a message containing substr.

infer_event

Build a trace event for kernel type inference.

merge_tracers

Merge events from src into dst tracer (if below dst’s level).

reduce_event

Build a trace event for reduction.

replay_into_sink

Replay events from one tracer into a sink.

simp_event

Build an info event for the simp category.

summarize_reductions

Summarize a tracer’s reduction steps.

tactic_event

Build an info event for tactic execution.

typeclass_event

Build an info event for typeclass resolution.

unify_event

Build a debug event for the unification category.

unique_categories

Extract all unique categories present in a tracer’s events.

warn_event

Build a warning event with no category.