MPS
 
Get MPS

Iterator

Last modified: 11 February 2024

A helper type that is analogous to java.util.Iterator. An instance of the iterator can be obtained with the iterator operation on a sequence.