-
Robbert Krebbers authored
The continuation is called with a Boolean indicating whether the hypothesis was in the intuitionistic context or not.
1d23872c
The continuation is called with a Boolean indicating whether the hypothesis was in the intuitionistic context or not.