Skip to content

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

Paolo G. Giarrussorequested to merge
Blaisorblade/stdpp:monadset-comments into master

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

Merge request reports