Function contrafact::not_ [−][src]
pub fn not_<'a, F, T>(fact: F) -> NotFact<F, T> where
F: Fact<T>,
T: Bounds,
Expand description
Negates a fact, with no context given
pub fn not_<'a, F, T>(fact: F) -> NotFact<F, T> where
F: Fact<T>,
T: Bounds,
Negates a fact, with no context given