{[], update(se_lt_x, [c-100]), @ :: [a-'A1'], row_count(N)}
This corresponds to UPDATE se_lt_x SET c=100 WHERE se_lt_x.a='A1'
.
The’@’is a special alias referring to the table that is
being updated. The row_count/1 term gives
the number or rows updated.