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

[PVS-Help] The difference between Record types and Tuple types

I am a tyro of pvs. When I learn the wift-tutorial,I have a question that what’s the difference between Record types and Tuple types.For example,I can define a Tuple      tup:Type=[int,bool] ,and  also I can define a Record : rec:Type=[#i:int,b:bool#]. So what’s the difference between rec and tup? Thanks.



Thanks & Best Regards

Lingzhao Mao 

BASICS Lab,Shanghai Jiao Tong Univ.


__________ Information from ESET NOD32 Antivirus, version of virus signature database 3005 (20080406) __________

The message was checked by ESET NOD32 Antivirus.