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

[PVS-Help] Monomorphic and polymorphic lists and streams



Hi,
Just a quick question. I am wondering does PVS support monomorphic and 
polymorphic lists and streams?

Regards,
Daniel.