Improve comment of `TCEq`. (!523) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/tceq_comment into master 1 year ago

Status	Pipeline	Stages
Passed 00:06:42 1 year ago	Improve comment of `TCEq`. #90709 523 00010a4a	Stage: build	Download artifacts No artifacts found
Canceled 00:01:14 1 year ago	Improve comment of `TCEq`. #90707 523 094546cd	Stage: build	Download artifacts No artifacts found
Passed 00:04:54 1 year ago	Improve comment of `TCEq`. #90597 523 5fad9a81	Stage: build	Download artifacts No artifacts found

Improve comment of `TCEq`.