>>707
変数を制限するもの

その例だと
変数aは12ビット
変数bは4ビット
で表すことのできる整数のみを扱える。