Function proto_vulcan::relation::infdrange [−][src]
pub fn infdrange<U, E, G>(
u: LTerm<U, E>,
domain: &RangeInclusive<isize>
) -> InferredGoal<U, E, G> where
U: User,
E: Engine<U>,
G: AnyGoal<U, E>,