module BuiltinFunctions:A list of the built-in functions for the current compiler (GCC or MSVC, depending onComputation.HASHTBL_OUTPUT
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 Project.Computation.OUTPUT
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 fold : (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 unsafe_find : key -> data
find
. Do not raise Not_found
.
You can use it if you can prove that the given key belongs to the
state.val mem : key -> bool
val remove : key -> unit