Function fail

Source
pub fn fail<T>() -> Fail<T>
where T: PartialEq + Unif<T>,
Expand description

Creates a Fail goal.