Module llbc_
ast_
utils
charon_
lib
0.1.88
Module llbc_
ast_
utils
Module Items
Structs
Functions
In charon_
lib::
ast
Modules
builtins
expressions
expressions_utils
gast
gast_utils
krate
llbc_ast
llbc_ast_utils
meta
meta_utils
names
names_utils
types
types_utils
ullbc_ast
ullbc_ast_utils
values
values_utils
visitor
charon_lib
::
ast
Module
llbc_ast_utils
Copy item path
Settings
Help
Summary
Source
Expand description
Implementations for
crate::llbc_ast
Structs
§
Block
Visitor
Small visitor to visit statements and blocks.
Functions
§
combine_
switch_
targets_
span
Combine the span information from a
Switch