Skip to main content

charon_driver/hax/
prelude.rs

1pub use crate::hax::*;
2pub use rustc_hash::FxHashMap as HashMap;
3pub use rustc_index::IndexVec;
4pub use std::path::PathBuf;
5pub use std::rc::Rc;
6
7pub use crate::hax::constant_utils::*;
8pub use crate::hax::traits::*;
9pub use crate::hax::types::*;
10pub use crate::{sinto_as_usize, sinto_reexport, sinto_todo};
11pub use rustc_hir::def::DefKind as RDefKind;
12pub use rustc_span::def_id::DefId as RDefId;
13
14pub use self::rustc::*;
15pub mod rustc {
16    pub use crate::hax::rustc_utils::*;
17    pub use crate::hax::state::*;
18}