List of all items

Structs

• ColorDisplay
• Indent
• TraceDisplayer
• results::DocumentCheckResult
• results::TypeCheckResult

Enums

• CheckLog
• CheckLogCow
• CheckingTask
• Displayable
• DisplayableRef
• MessageLevel
• PreCheckLog
• RefCheckLog
• results::CheckResult
• results::ContentCheckResult
• results::ProofStepCheckResult
• results::ProofStepResult
• results::SymbolCheckResult

Traits

• CheckerRule
• FmtTraceDisplay
• SizedSolverRule
• TraceDisplay

Macros

• tasks
• trace
• traceref