timesEncountered

fun timesEncountered(key: OptionKeyType): Int

Answer the number of times that the option indicated by the specified key has been processed already.

Return

The number of times that the option has been processed.

Parameters

key

An option key.