cimonom.lib
constant BelongSemig
typelist(intvec(bigintreturntype))
constant MinMult
typeintvec(intreturntype)
constant CompInt
typeintvecreturntype