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

Re: [PVS-Help] about the definition of a special TYPE



Wei K Mr (PG/R - Computing) writes:
    
   Is it possible to define a TYPE which contains all natural
   numbers and a special element, tick?
    
How about lift[nat]? Or you define your own datatype with tick
instead of bottom.

Bye,

Hendrik