add a function to obtain a set with all elements of a finite type
Compare changes
+ 17
− 1
@@ -2,7 +2,7 @@
@@ -873,6 +873,22 @@ Section option_and_list_to_set.
This lets us use the existing nice gmap
/gset
infrastructure even for total functions when the domain type is finite.