let sort (symbol: symbol) : sort =
  symbol.sort