blob: 0926be8f5933988ed52f76e9c81daaf950b8cd3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/// Contains the core of the Polonius borrow checking engine.
/// Input is fed in via AllFacts, and outputs are returned via Output
extern crate datafrog;
#[macro_use]
extern crate log;
extern crate rustc_hash;
mod facts;
mod output;
// Reexports of facts
pub use facts::AllFacts;
pub use facts::Atom;
pub use facts::FactTypes;
pub use output::Algorithm;
pub use output::Output;
|
