args argtype discont func invert numparam param reslinear restype tpfunc tpfunc_base

invert bool LiftedFunctionInfo::invert True if the arguments of the function must be inverted.