Function proto_vulcan::relation::distinct

pub fn distinct<U, E, G>(l: LTerm<U, E>) -> InferredGoal<U, E, G> where
    U: User,
    E: Engine<U>,
    G: AnyGoal<U, E>, 

A relation which guarantees that all elements of l are distinct from each other.