module Typ:sig
..end
val attributes_less_equal : Cil_types.typ -> Cil_types.typ -> bool
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
val is_variadic : Cil_types.typ -> bool