Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
`tc_to_bool P` to turn a type class into a Boolean that represents if there is an instance.
· 512b3f99
Robbert Krebbers
authored
Jan 11, 2019
512b3f99