add a function to obtain a set with all elements of a finite type (!196) · Merge requests · Iris / stdpp

Ralf Jung requested to merge ralf/fin_to_set into master Oct 28, 2020

This lets us use the existing nice gmap/gset infrastructure even for total functions when the domain type is finite.

Edited Oct 28, 2020 by Ralf Jung

add a function to obtain a set with all elements of a finite type