Module Translate

module Translate: sig .. end

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