Frama-C API - Make_tbl
Build an heterogeneous table associating keys to info. Not efficient for types registered without ml name.
Parameters
module Key : sig ... end
module Info : sig ... end
Signature
type key = Key.t
type 'a info = 'a Info.t
Type of heterogeneous (hash)tables indexed by values of type Key.t. Type values ensure type safety.
val create : int -> t
create n
creates a new table of initial size n
.
add tbl s ty v
binds s
to the value v
in the table tbl
. If the returned value is a closure whose the type of one of its argument was dynamically registered, then it may raise Incompatible_Type
.