enumについては、Software Abstractionsの書籍には記載されていません。合金言語のenum部分ですか？
私は人が合金モデルでenumを使用しているのを見たので、それは明らかに合金ツールによってサポートされています。
私は合金の古いバージョンでenumキーワードは言語の一部であったとenumをサポートするコードがenumが言語から削除されているにもかかわらず、耐えていることを推測しています。私は正しく推測されますか？
いいえ、それは逆です：本が出版された後にenumが追加されました。
これらは、本の出版後に追加された機能です。それらはすべて非常に便利です。
let - 述部、関数、またはファクト以外で使用できるマクロ。定数やその他の小さな関数には非常に便利です。読みやすいようにする型は必要ありませんが、エラーの報告は暗いです。meta - 仕様のフィールドとタイプにアクセスする可能性があります。あなたが反射している場合は非常にいいです。初心者の方は避けてください。private - プライベートネームスペース。より大きな仕様には非常に便利です。unsat - 解決策がない場合に仕様をデバッグすることができます。グループ化するのではなく、小さな事実の使用を促進します。これらの新機能はquick guide
に記述されています