Function proto_vulcan::relation::never [−][src]
pub fn never<U, E>() -> Goal<U, E> where
U: User,
E: Engine<U>,
Expand description
A relation that fails an unbounded number of times.
This may easily lead to divergence, and never return.