Struct reform::id::SubSequenceIter

pub struct SubSequenceIter<'a> { /* fields omitted */ }

An iterator that matches a pattern of multiple factors to a subset of a term. For example: IN = f(1,2,3)*g(1,2,3)*g(4,5,6); { id all f(?a,n?,?b)*g(?c,n?,?d) = f(n?)*g(n?); } uses this iterator to match the g to one of the gs in the input.

Trait Implementations

impl<'a> Debug for SubSequenceIter<'a>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.