Skip to main content

Module normalize_trait_refs

charon_lib::transform::normalize

Module normalize_trait_refs 

Source

Structs§

NormalizeTraitRefs 🔒
Transform

Constants§

MAX_NORMALIZATION_STEPS 🔒