Charon related API docs
Charon Lib APIs
Rustc Internal APIs
(nightly-2026-06-01) required by Charon
Performance Benchmarks