module Builtin_functions:State_builder.Hashtbl
with type key = string and type data = typ * typ list * bool
!msvcMode
). Maps the name to the
result and argument types, and whether it is vararg.
Initialized by Cil.initCIL
This map replaces gccBuiltins
and msvcBuiltins
in previous
versions of CIL.
include State_builder.S
rehash
function (see Project.DATATYPE_OUTPUT.rehash
)type
key
type
data
val replace : key -> data -> unit
val add : key -> data -> unit
val clear : unit -> unit
val length : unit -> int
val iter : (key -> data -> unit) -> unit
val iter_sorted : ?cmp:(key -> key -> int) ->
(key -> data -> unit) -> unit
val fold : (key -> data -> 'a -> 'a) ->
'a -> 'a
val fold_sorted : ?cmp:(key -> key -> int) ->
(key -> data -> 'a -> 'a) ->
'a -> 'a
val memo : ?change:(data -> data) ->
(key -> data) ->
key -> data
change
.val find : key -> data
Not_found
if the key is not in the table.val find_all : key -> data list
val mem : key -> bool
val remove : key -> unit