Module Translate

module Translate: sig .. end

module Typ: Extends.Typ
val is_framac_builtin : Cil_types.varinfo -> bool
val translate_variadics : Cil_types.file -> unit