[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: inst? and overloaded operators



Steven Shapiro wrote:
> You can use intval_v_intval twice to prove injectiveness. 

I see, I just wasn't looking hard enough. Thanks!
-- 
pertti