let is_variadic kf = let varf = Kernel_function.get_vi kf in match varf.vtype with TFun (_, _, is_variadic, _) -> is_variadic | _ -> (bug "The variable of a kernel_function has to be a function !")