Supported type-function. (deftf)