Skip to main content

Module remove_unused_clauses

charon_lib::transform::simplify_output

Module remove_unused_clauses 

Source
Expand description

Remove unused trait clauses from items. A clause is unused if it is only used to build proofs for other unused clauses.

Structs§

BuildGraphVisitor 🔒
RemoveClausesVisitor 🔒
Transform

Enums§

ClauseNode 🔒