KVequiv.lib
constant derlogV
typeidealreturntype
constant KVtangent
typelist(string(string(idealreturntype)))
constant KVversal
typestring(string(ideal(matrixreturntype)))
constant KVvermap
typeideal(matrixreturntype)
constant lft_vf
typelist(int(intvec(string(string(idealreturntype)))))
constant abs
typeintreturntype