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