argtype discont ever func invert numparam param reslinear restype tpfn_base tpfn_temp

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