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

[PVS-Help] Supertype



Hi there,

I would like to ask whether it is possible to define a supertype of some
pre-defined types, eg. a type called "datavalue" of which integers and
strings are subtype.

Thanks

Yuzhang
School Of Computing
National University of Singapore