エンコーディング規則

 

 

モジュール関数の名称、述語構造体の名称は、基本的にKL1レベルの各々の定義 に用いられた名称等をCで用いられる名前にエンコードすることにより実装している。 そのエンコード規則についてここで記述する。