blob: 138ada4e20d7a2d19e30fb9842389161e455093b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#![allow(dead_code)]
#![allow(unused_imports)]
#[macro_use]
mod macros;
mod fs;
mod io;
mod miri_extern;
pub use self::fs::*;
pub use self::io::*;
pub use self::miri_extern::*;
pub fn run_provenance_gc() {
// SAFETY: No preconditions. The GC is fine to run at any time.
unsafe { miri_run_provenance_gc() }
}
|
