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