identifier is the type of the identifier stored in the table. It is meant to be associated with a
This exception can be raised when some identifier or some symbol is not found in a query
val empty : table
empty is an empty table
find_id_of_sym sym t returns the identifier of the string
sym stored in
Not_found if no such identifier exists.
find_sym_from_id id t returns the string (i.e. the symbol) corresponding to the identifier
id in table
add_sym sym t returns a pair
id is the identifier associated with
sym already was in
id is the identifier which it was associated with. Otherwise, a new identifier is generated and the new association is stored in
val to_string : table -> string
to_string t outputs the table
t in a string.