case_studies/tests/src/trait_deps.rs

rr_frontend/radium/src/code.rs

rr_frontend/radium/src/specs.rs

rr_frontend/translation/src/base.rs

rr_frontend/translation/src/body/translation/calls.rs

rr_frontend/translation/src/regions/init.rs

rr_frontend/translation/src/regions/mod.rs

rr_frontend/translation/src/traits/registry.rs

rr_frontend/translation/src/types/local.rs

rr_frontend/translation/src/types/scope.rs

rr_frontend/translation/src/types/translator.rs

theories/rust_typing/automation.v

theories/rust_typing/automation/solvers.v

theories/rust_typing/functions.v