/// Contains the core of the Polonius borrow checking engine.
/// Input is fed in via AllFacts, and outputs are returned via Output
extern crate datafrog;
extern crate log;
extern crate rustc_hash;
// Reexports of facts
pub use AllFacts;
pub use Atom;
pub use Algorithm;
pub use Output;