signcond.lib
constant firstoct
typeidealreturntype
constant signcnd
typeideal(idealreturntype)
constant psigncnd
typelist(idealreturntype)
constant psign
typelist(idealreturntype)
constant isIn
typelist(listreturntype)
constant expprod
typelist(listreturntype)
constant initlist
typeintreturntype
constant evalp
typeideal(listreturntype)
constant incexp
typelistreturntype