sig
  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 params_types : Cil_types.typ -> Cil_types.typ list
  val params_count : Cil_types.typ -> int
  val is_variadic : Cil_types.typ -> bool
end