Charon related API docs
Charon Lib APIs
Rustc Internal APIs
(nightly-2025-06-30) required by Charon