Skip to main content

MAX_NORMALIZATION_STEPS

charon_lib::transform::normalize::normalize_trait_refs

Constant MAX_NORMALIZATION_STEPS 

Source 
const MAX_NORMALIZATION_STEPS: usize = 100;