| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| user.rs | 0 B | 2024-Aug-22 13:25 |
| transitive.rs | 36 B | 2024-Aug-22 13:25 |
| main.rs | 37 B | 2024-Aug-22 13:25 |
| direct.h | 63 B | 2024-Aug-22 13:25 |
| direct.cc | 95 B | 2024-Aug-22 13:25 |
| BUILD.bazel | 853 B | 2024-Aug-22 13:25 |