Ssreflect Users Discussion List

[Enrico Tassi <>]

On Wed, Jun 11, 2014 at 02:27:36PM +0100, Jason Gross wrote:
> Thanks.
> 
> Georges has told me that another way to do this is case/(@id bool), which I
> think is what I'll stick with for now.

Well, it does a different thing.  boolP gives you extra "b" and "~~ b"
hypotheses in the branches, while case/(@id bool) should do the same as
the defective version of case Assia was suggesting (but for asserting
that you are eliminating a boolean that you may or may not want).

Ciao
-- 
Enrico Tassi