args argtype discont func invert numparam param reslinear restype tpfunc tpfunc_base

args bool LiftedFunctionInfo::args True if the lifted function requires arguments.