let compare_name (symbol1: symbol) (symbol2: symbol) : int = Pervasives.compare (name symbol1) (name symbol2)