Module Generic.Typ

module Typ: Extends.Typ

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