Module Extends.Typ

val params : Cil_types.typ -> (string * Cil_types.typ * Cil_types.attributes) list
val ghost_partitioned_params : Cil_types.typ -> (string * Cil_types.typ * Cil_types.attributes) list * (string * Cil_types.typ * Cil_types.attributes) list
val params_types : Cil_types.typ -> Cil_types.typ list
val params_count : Cil_types.typ -> int