Frama-C API - Typ
val params : Cil_types.typ -> (string * Cil_types.typ * Cil_types.attributes) listval ghost_partitioned_params : Cil_types.typ -> (string * Cil_types.typ * Cil_types.attributes) list * (string * Cil_types.typ * Cil_types.attributes) listval params_types : Cil_types.typ -> Cil_types.typ listval params_count : Cil_types.typ -> int