flux_syntax::surface::visit

Function walk_ensures

Source 
pub fn walk_ensures<V: Visitor>(vis: &mut V, ensures: &Ensures)