Module kimchi::prover::internal_traces

Modules

• caml

Structs

• Traces

Constants

• TRACES

Functions

• start_tracing
  Clean up old traces and start fresh.
• take_traces
  Take captured traces.