Module statistics

Structs

CountAttrs

ExternalCrates

External crates excluding the local one.

FnDefs

KaniTools

KaniToolsFnDefs

LocalCrateFnDefs

Metrics based on Vec<FnDef>.

Stat