module Symb:sig..end
type symbol
module SymbolSet:Set.Swith type elt = symbol
module SymbolMap:Map.Swith type key = symbol
val symbol_of_string : string -> symbolval string_of_symbol : symbol -> stringval clear_symbols : unit -> unitval pr_symbol : Format.formatter -> symbol -> unit