spec_to_annotation_bound_var
veri_
engine_
lib
0.1.0
In veri_
engine_
lib::
annotations
veri_engine_lib
::
annotations
Function
spec_
to_
annotation_
bound_
var
Copy item path
Source
pub fn spec_to_annotation_bound_var(i: &Ident) -> BoundVar