Skip to main content

charon_driver/hax/
prelude.rs

1pub use crate::hax::*;
2pub use std::collections::HashMap;
3pub use std::path::PathBuf;
4pub use std::rc::Rc;
5
6pub use crate::hax::constant_utils::*;
7pub use crate::hax::index_vec::*;
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    pub use crate::hax::utils::*;
19}