Module PolytablesSource

Polymorphic tables (using Map)

Warning: this module is not thread safe!

Sourcetype 'a key

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

Sourcetype t

The type of tables

Sourceval create : unit -> t

creates a new table

Sourceval make_key : unit -> 'a key

create a new key for each data you want to save

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

set t k v associates v to k in t

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

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

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

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

Sourceval clear : table:t -> unit

clear t remove all data from t