Use `guard P;; M`

stdpp/fin_maps.v

stdpp/gmap.v

stdpp/gmultiset.v

stdpp/hashset.v

stdpp/list.v

stdpp/option.v

stdpp/sets.v

tests/decidable.v