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

[PVS-Help] Elementary Question



Hi, I've got a quick question. I've got a function, count_eq_zero defined below but when I put it to typecheck, it shows: Found '!id!' when expecting ')'. How should I define the function then?


[sum_verify: THEORY

   BEGIN
   n,i: VAR nat

   count_eq_zero(i): TYPE = [nat->bool] = (if i=0 then true else false endif)
...]

Thanks


New Email addresses available on Yahoo!
Get the Email name you've always wanted on the new @ymail and @rocketmail.
Hurry before someone else does!