Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
Source project has a limited visibility.
user avatar
Robbert Krebbers authored
Before, we often had to insert awkward casts when using them. Also,
the generality of also having them on Type, is probably not useful.
ef89aa7b
History
Name Last commit Last update