Function contrafact::never[][src]

pub fn never<S: ToString>(context: S) -> BoolFact
Expand description

A constraint which is never met