sig
  type key = Cil_datatype.Kf.t
  type 'a t = 'Cil_datatype.Kf.Hashtbl.t
  val create : int -> 'a t
  val clear : 'a t -> unit
  val reset : 'a t -> unit
  val copy : 'a t -> 'a t
  val remove : 'a t -> key -> unit
  val find_all : 'a t -> key -> 'a list
  val replace : 'a t -> key -> '-> unit
  val mem : 'a t -> key -> bool
  val iter : (key -> '-> unit) -> 'a t -> unit
  val fold : (key -> '-> '-> 'b) -> 'a t -> '-> 'b
  val length : 'a t -> int
  val stats : 'a t -> Hashtbl.statistics
  val iter_sorted :
    ?cmp:(key -> key -> int) -> (key -> '-> unit) -> 'a t -> unit
  val fold_sorted :
    ?cmp:(key -> key -> int) -> (key -> '-> '-> 'b) -> 'a t -> '-> 'b
  val iter_sorted_by_entry :
    cmp:(key * '-> key * '-> int) -> (key -> '-> unit) -> 'a t -> unit
  val fold_sorted_by_entry :
    cmp:(key * '-> key * '-> int) ->
    (key -> '-> '-> 'b) -> 'a t -> '-> 'b
  val iter_sorted_by_value :
    cmp:('-> '-> int) -> (key -> '-> unit) -> 'a t -> unit
  val fold_sorted_by_value :
    cmp:('-> '-> int) -> (key -> '-> '-> 'b) -> 'a t -> '-> 'b
  val structural_descr : Structural_descr.t -> Structural_descr.t
  val make_type : 'Type.t -> 'a t Type.t
  val memo : 'a t -> key -> (key -> 'a) -> 'a
  module Key = Cil_datatype.Kf.Hashtbl.Key
  module Make = Cil_datatype.Kf.Hashtbl.Make
  val add : 'a * 'b t -> key -> '-> unit
  val find : 'a * 'b t -> key -> 'b
  val set : 'a * unit t -> Kernel_function.Hptset.elt -> unit
  val get : 'a * 'b t -> key -> bool
end