module Translate: sig .. end
sig
end
module Typ: Extends.Typ
Extends.Typ
val va_builtins : string list
string list
val translate_variadics : Cil_types.file -> unit
Cil_types.file -> unit