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

*To*: pvs-help@csl.sri.com, mincer@saturne.UQAH.UQuebec.CA*Subject*: list over the empty type*From*: Janina Mincer-Daszkiewicz <mincer@uqah.uquebec.ca>*Date*: Fri, 11 Jul 1997 12:51:24 -0400*Sender*: mincer@uqah.uquebec.ca

I am a novice PVS user so my question is probably rather stupid, but anyway the answer is important. For some reasons I need a type which corresponds to an instance of a list with actual parameter being an empty TYPE, i.e. I would like to obtain something like: T: TYPE % empty!!! traces = list[T] (so the type traces contains only an empty list). 1. Is it possible? 2. If it is possible what consequences I might expect further on? Janka

- Prev by Date:
**Re: How to kill a runaway proof attempt?** - Next by Date:
**Re: list over the empty type** - Prev by thread:
**Re: PVS-Latex problems** - Next by thread:
**Re: list over the empty type** - Index(es):