let to_string ?(pretty: bool = true) (symbol: symbol) : string =
  if pretty then
    pretty_name symbol
  else
    name symbol