argtype discont ever func invert numparam param reslinear restype tpfn_base tpfn_temp

numparam int LiftedFunctionInfo::numparam Number of parameters of the function.