任せるのがほとんどだ。-v構文木で使われているシンボルの見つけ方を見たわけだけど、シンボルは型にも使われている。お陰で型を検査する簡単な方法がある。使えるおまじないを具体例を使って説明する。使って型の生の構造を表示することもできる。構文木の表示を変えるもう一つのオプションだ。これは特に変わったことはしないので、次のもっとスゴいのを見てみよう。(tree.symbol)。(symbol.info)。(tree.tpe)。アノテーションに直列化する。構文木、シンボル、そしてそれらの型をまとめた環境だ。