flux_
middle
0.1.0
Module visit
Module Items
Traits
Functions
In flux_
middle::
fhir
flux_middle
::
fhir
Module
visit
Copy item path
Source
Traits
§
Visitor
Functions
§
walk_
alias_
reft
walk_
assoc_
item_
constraint
walk_
bty
walk_
ensures
walk_
enum_
def
walk_
expr
walk_
field_
def
walk_
field_
expr
walk_
fn_
decl
walk_
fn_
output
walk_
fn_
sig
walk_
func_
sort
walk_
generic_
arg
walk_
generic_
bound
walk_
generics
walk_
impl
walk_
impl_
assoc_
reft
walk_
impl_
item
walk_
item
walk_
node
walk_
opaque_
ty
walk_
path
walk_
path_
segment
walk_
poly_
func_
sort
walk_
poly_
trait_
ref
walk_
qpath
walk_
refine_
param
walk_
requires
walk_
sort
walk_
sort_
path
walk_
struct_
def
walk_
trait_
assoc_
reft
walk_
trait_
item
walk_ty
walk_
ty_
alias
walk_
variant
walk_
variant_
ret
walk_
where_
predicate