Frama-C:
Plug-ins:
Libraries:

Frama-C API - FCHashtbl

Deprecated module, use Hashtbl instead.

module type S = Hashtbl.S
module Make (H : Hashtbl.HashedType) : Hashtbl.S with type key = H.t
val hash : 'a -> int
  • deprecated Use Hashtbl.hash instead.
val hash_param : int -> int -> 'a -> int
  • deprecated Use Hashtbl.hash_param instead.