base.v: fix typo in comment about MonadSet, and extend (!332) · Merge requests · Iris / stdpp

Status	Pipeline	Stages
Passed 00:05:26 3 years ago	Revise further based on Robbert's suggestion #55846 332 23e8b3ac	Stage: build	Download artifacts No artifacts found
Passed 00:05:30 3 years ago	Revise further based on Robbert's suggestion #55842 332 4a79cb6d	Stage: build	Download artifacts No artifacts found
Passed 00:10:20 3 years ago	base.v: Extend comment on MonadSet #55836 332 a040e45b	Stage: build	Download artifacts No artifacts found

base.v: fix typo in comment about MonadSet, and extend