Skip to content
GitLab

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

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:monadset-comments into master

The comment hints at listset_nodup, which does not have a MonadSet instance.