Module Generic

module Generic: sig .. end

module List: Extends.List
module Typ: Extends.Typ
module Build: Va_build
val vpar_typ : Cil_types.attributes -> Cil_types.typ
val vpar_name : string
val vpar : string * Cil_types.typ * 'a list
val translate_type : Cil_types.typ -> Cil_types.typ
val add_vpar : Cil_types.varinfo -> unit
val translate_va_builtin : Cil_types.fundec -> Cil_types.instr -> Cil_types.instr list
val translate_call : fundec:Cil_types.fundec -> Cil_types.stmt -> Cil_types.stmt