/**
* Returns an iterator over this formula's children, in the increasing order of indices.
*
* @return an iterator over this formula's children, in the increasing order of indices.
*/
public Iterator<Formula> iterator() {
return Containers.iterate(children);
}
/**
* Returns an unmodifiable iterator over the decls in this Decls object.
*
* @return an unmodifiable iterator over the decls in this Decls object.
*/
public Iterator<Decl> iterator() {
return Containers.iterate(decls);
}