Skip to content
Snippets Groups Projects
Commit 92bb9aaf authored by Ralf Jung's avatar Ralf Jung
Browse files

make it so that we can give the option type (instead of the list of variants)... 

make it so that we can give the option type (instead of the list of variants) to the type_sum lemmas
parent 4d07e1f2
No related branches found
No related tags found
Checking pipeline status