Skip to main content

generate_complexity_bound

assura_codegen::features

Function generate_complexity_bound 

Source 
pub fn generate_complexity_bound(clause: &Clause) -> String
Expand description

PERF.2: Complexity bound annotation.