let
name (symbol: symbol) : string =
symbol.name