# The operation progressed.
	#
	# Parameter:
	#
	# * `progression`: Indicator of the progession, between `0` and
	# `progression_max`.
	fun progressed(progression: Int) do end