ファイルは、ルールを呼び出してターゲットを登録します。定数、ルール、マクロ、関数の定義。モジュールを使用して読み込む必要があります。つの構文上の制限があります。引数は使用できません。違いグローバル変数は変更できません。ステートメントはトップレベルには使用できません。ファイルでは、リストの理解を使用できます。ステートメントはトップレベルには使用できません。ディクショナリを反復処理する決定論的な順序。再帰は許可されていません。ビット符号付き整数に制限されています。オーバーフローするとエラーがスローされます。反復処理中にコレクションを変更すると、エラーになります。