Function contrafact::or

pub fn or<A, B, S, Item>(context: S, a: A, b: B) -> OrFact<A, B, Item> where
    S: ToString,
    A: Fact<Item>,
    B: Fact<Item>,
    Item: Bounds, 

Combines two constraints so that either one may be satisfied