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