Function proto_vulcan::relation::permute

pub fn permute<U, E, G>(
    xl: LTerm<U, E>, 
    yl: LTerm<U, E>
) -> InferredGoal<U, E, G> where
    U: User,
    E: Engine<U>,
    G: AnyGoal<U, E>, 

A relation that will permute xl into yl.