Module Polytables

module Polytables: sig .. end

Polymorphic tables (using Map)

Warning: this module is not thread safe!

type 'a key

The type of key for a piece of data of type 'a

type t

The type of tables

val create : unit -> t

creates a new table

val make_key : unit -> 'a key

create a new key for each data you want to save

val set : table:t -> key:'a key -> value:'a -> unit

set t k v associates v to k in t

val get : table:t -> key:'a key -> 'a

get t k returns the current binding of k in t or raises Not_found

val remove : table:t -> key:'a key -> unit

remove t k remove the current binding of k in t if it exists

val clear : table:t -> unit

clear t remove all data from t