モジュール関数名エンコード規則

モジュール関数名は、以下のようにエンコードされる。

$${\tt module\_} + KL1モジュール名を基本規則によりエンコードした文字列$$

たとえば、fooモジュールは、``module_foo''となり、 foo_bar モジュールは、``module_foo__bar''となり、 'foo<>bar'モジュールは``module_foo_3C_3Ebar''となる。