charon_
lib
0.1.73
In charon_
lib::
transform::
reorder_
decls
Structs
DeclInfo
Deps
Transform
Enums
DeclarationGroup
GDeclarationGroup
Functions
compute_declarations_graph
compute_reordered_decls
group_declarations_from_scc
Type Aliases
DeclarationsGroups
charon_lib
::
transform
::
reorder_decls
Function
compute_declarations_graph
Copy item path
Settings
Help
Summary
Source
fn compute_declarations_graph<'tcx>(ctx: &'tcx
TransformCtx
) ->
Deps