list over the empty type

[Janina Mincer-Daszkiewicz <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):
  • Date
  • Thread