• Robbert Krebbers's avatar
    Remove CollectionOps class. · d7643649
    Robbert Krebbers authored
    This class whose name is horrible and purpose is arbitrary seems to be a
    leftover of some experiment with ch2o, a long time a ago.
    d7643649
listset_nodup.v 2.52 KB