argtype discont ever func invert numparam param reslinear restype tpfn_base tpfn_temp

reslinear bool LiftedFunctionInfo::reslinear True if the result has linear interpolation.