Module reform::id[−][src]

Structs

FuncIterator
MatchIterator
SequenceIter	Iterator over a sequence of pattern matches.
SubSequenceIter	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 `g`s in the input.