Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
lib
ModuRes
SPred.v
Find file
Blame
History
Permalink
add sugar for defining SPreds, this also makes them print nicer in some cases
· cae9dd85
Ralf Jung
authored
Jun 03, 2015
cae9dd85