module type SYMBOL_TABLE = sig
 type symbol
 val string_to_symbol : string -> symbol
 val symbol_to_string : symbol -> string
 val eq : symbol -> symbol -> bool
 val compare : symbol -> symbol -> int
end;;