Function contrafact::or

source ·

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

Expand description

Combines two constraints so that either one may be satisfied