Skip to main content

charon_driver/hax/types/new/
mod.rs

1//! This module contains type definitions that have no equivalent in
2//! Rustc.
3mod full_def;
4mod item_ref;
5mod synthetic_items;
6
7pub use full_def::*;
8pub use item_ref::*;
9pub use synthetic_items::*;