Module Frama_c_kernel_base.Variadic

Nothing is exported.