rr_frontend/radium/src/code.rs

rr_frontend/radium/src/coq/binder.rs

rr_frontend/radium/src/coq/command.rs

rr_frontend/radium/src/coq/inductive.rs

rr_frontend/radium/src/coq/mod.rs

rr_frontend/radium/src/coq/term.rs

rr_frontend/radium/src/coq/typeclasses.rs

rr_frontend/radium/src/specs.rs

rr_frontend/translation/src/function_body.rs

...rontend/translation/src/spec_parsers/crate_attr_parser.rs

...ontend/translation/src/spec_parsers/module_attr_parser.rs

rr_frontend/translation/src/spec_parsers/parse_utils.rs

...ontend/translation/src/spec_parsers/struct_spec_parser.rs

...rontend/translation/src/spec_parsers/trait_attr_parser.rs

...nslation/src/spec_parsers/verbose_function_spec_parser.rs

rr_frontend/translation/src/trait_registry.rs

rr_frontend/translation/src/type_translator.rs