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