Frama-C:
Plug-ins:
Libraries:

Frama-C API - ArgList

type t =
  1. | [] : t
  2. | Variadic : t
  3. | :: : (string * ('v, 's) typ * Cil_types.attributes) * t -> t