veri_engine_lib::annotations

Function spec_to_annotation_bound_var

Source 
pub fn spec_to_annotation_bound_var(i: &Ident) -> BoundVar