{[], 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.