next up previous contents
Next: ガード・ユニフィケーションのヘッドでの表記 Up: 1.3 データとシンタクス Previous: ボディ・ユニフィケーション

1.3.4 略記法

以下の説明を続ける前に, いくつかの便利な略記法を紹介しよう.



next up previous contents
Next: ガード・ユニフィケーションのヘッドでの表記 Up: 1.3 データとシンタクス Previous: ボディ・ユニフィケーション


KLIC