dmodvar.lib
constant testdmodvarlib
typereturntype
constant dmodvarAssumeViolation
typereturntype
constant safeVarName
typestring(stringreturntype)
constant coDim
typeidealreturntype
constant ORDstr2list
typeint(stringreturntype)
constant SannfsVar
typelist(idealreturntype)
constant bfctVarAnn
typelist(idealreturntype)
constant makeMalgrange
typelist(idealreturntype)
constant bfctVarIn
typelist(idealreturntype)
constant smallGenCoDim
typeint(idealreturntype)