セットとしてデータを保存することができる。分木とよばれるツリー構造で管理され、キーと値のほかに、枝分かれの情報も保持している。各要素のキーと値の他に、順序関係も保持している。ようにして、キーと値の型を指定して宣言する。使って、キーと値を格納できる。文を利用して、すべてのキーと値を取得することもできる。文でイテレーターを繰り返すとき、イテレーターの型も指定する必要がある。すると、型が自動的に指定される。