https://download.eclipse.org/modeling/mdt/ocl/javadoc/5.0.0/org/eclipse/ocl/examples/library/iterator/OneIteration.MutableBoolean.html
OneIteration.MutableBoolean (MDT-OCL Documentation)
mdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/5.0.0/org/eclipse/ocl/examples/library/iterator/class-use/OneIteration.html
Uses of Class org.eclipse.ocl.examples.library.iterator.OneIteration (MDT-OCL Documentation)