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.