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