[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.