| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| generics_ext.rs | D | 04-Jul-2025 | 874 | 25 | 14 | |
| ident_set.rs | D | 04-Jul-2025 | 184 | 9 | 4 | |
| lifetimes.rs | D | 04-Jul-2025 | 11.4 KiB | 352 | 297 | |
| mod.rs | D | 04-Jul-2025 | 3.9 KiB | 112 | 10 | |
| options.rs | D | 04-Jul-2025 | 1.9 KiB | 59 | 24 | |
| type_params.rs | D | 04-Jul-2025 | 13.9 KiB | 365 | 290 |