polonius-engine 0.13.0

Core definition for the Rust borrow checker
Documentation 
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;