let arity (symbol: symbol) : int =
  symbol.arity