Module Type.StringTbl


module StringTbl: sig .. end
Heterogeneous tables indexed by string

type 'a ty = 'a Type.t 
type t 
Type of heterogeneous (hash)tables indexed by string. Type values ensure type safety.
val create : int -> t
create n creates a new table of initial size n.
val add : t -> string -> 'a ty -> 'a -> 'a
add tbl s ty v binds s to the value v in the table tbl.
Raises AlreadyExists if s is already bound in tbl.
Returns the exact value stored in the table which is observationally equal to v but it deals better with dynamic types.
exception Unbound_value of string
exception Incompatible_type of string
Consult the Plugin Development Guide for additional details.
val find : t -> string -> 'a ty -> 'a
find tbl s ty returns the binding of s in the table tbl.
Raises