Frama-C:
Plug-ins:
Libraries:

Frama-C API - Sub_caml_weak_hashtbl

type data
type t
val create : int -> t
val add : t -> data -> unit