-
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
Before, we often had to insert awkward casts when using them. Also, the generality of also having them on Type, is probably not useful.