LINE-RANGE : ARGTYPELINE-RANGE is an argument type.
A range of lines from M through N, written M--N, where M and N
are positive integers and M <= N. As shortcuts, one may write M, which
represents the range M--M; M--, which stands for the range from line M
through the last line of the current proof; and --N, which represents the
range from the first line of the proof through line N. Hence --
represents the range consisting of every line in the proof.
TPS documentation homepage