flux_
syntax
0.1.0
Module visit
Module Items
Traits
Functions
In flux_
syntax::
surface
flux_syntax
::
surface
Module
visit
Copy item path
Source
Traits
§
Visitor
Functions
§
walk_
alias_
pred
walk_
base_
sort
walk_
bty
walk_
defn
walk_
ensures
walk_
enum_
def
walk_
expr
walk_
field_
expr
walk_
fn_
input
walk_
fn_
output
walk_
fn_
ret_
ty
walk_
fn_
sig
walk_
generic_
arg
walk_
generic_
param
walk_
generics
walk_
impl
walk_
impl_
assoc_
reft
walk_
indices
walk_
path
walk_
path_
expr
walk_
path_
expr_
segment
walk_
path_
segment
walk_
qualifier
walk_
refine_
arg
walk_
refine_
param
walk_
sort
walk_
sort_
path
walk_
struct_
def
walk_
trait
walk_
trait_
assoc_
reft
walk_
trait_
ref
walk_ty
walk_
ty_
alias
walk_
variant
walk_
variant_
ret
walk_
where_
predicate