walk_ensures
flux_
syntax
0.1.0
In flux_
syntax::
surface::
visit
flux_syntax
::
surface
::
visit
Function
walk_
ensures
Copy item path
Source
pub fn walk_ensures<V:
Visitor
>(vis:
&mut V
, ensures: &
Ensures
)