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

[PVS-Help] gensubst



Is there a description of the arguments of the "gensubst" substitution
function available somewhere?

Thank you, 

    Erika Rice