Skip to content

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

Ralf Jung requested to merge ralf/fin_to_set into master

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

Edited by Ralf Jung

Merge request reports