package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frama_c_kernel.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.