@history_length(variable)


This is a special form: the argument must be a variable (it cannot be a general expression). It returns the maximal length of the history of the variable, i.e. the number of update that are recorded.