Macro contrafact::facts

macro_rules! facts {
    ( $( $fact:expr ),+ $(,)?) => { ... };
}

Convenience macro for creating a collection of Facts of different types. Each Fact will be boxed and added to a Vec as a trait object, with their types erased. The resulting value also implements Fact.

use contrafact::*;

let eq1 = eq_(1);
let not2 = not_(eq_(2));
let fact: Facts<'static, u32> = facts![eq1, not2];
assert!(fact.check(&1).is_ok());