Improve comment of `TCEq`.
Passed
Robbert Krebbers
created pipeline for commit
00010a4a
, finished
Related merge request !523 to merge robbert/tceq_comment
6 minutes 42 seconds, queued for 0 seconds