変数の型を定義するライブラリです。