sig
type key = DtIndex.hkey
type 'a t
val make_table : unit -> 'a DtIndex.TableType.t
val add : 'a DtIndex.TableType.t -> DtIndex.TableType.key -> 'a -> unit
val remove : 'a DtIndex.TableType.t -> DtIndex.TableType.key -> unit
val find : 'a DtIndex.TableType.t -> DtIndex.TableType.key -> 'a
val iter :
(DtIndex.TableType.key -> 'a -> unit) -> 'a DtIndex.TableType.t -> unit
val iter_and_throw_away :
(DtIndex.TableType.key -> 'a -> unit) -> 'a DtIndex.TableType.t -> unit
end