Module Symb.SymbolMap


module SymbolMap: Map.S  with type key = symbol