Crate ftml_solver_trace 

Modules

results

Macros

tasks 🔒

trace

traceref

Structs

ColorDisplay

Indent

TraceDisplayer 🔒

Enums

CheckLog

CheckLogCow

CheckingTask

Displayable

DisplayableRef

MessageLevel

PreCheckLog

RefCheckLog

Traits

CheckerRule

FmtTraceDisplay

SizedSolverRule

TraceDisplay