[PVS-Help] Elementary Question

[Shi Hui Woon <shihuiwoon@xxxxxxxxxxxx>]

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!