「グローバル変数」って名前あんまりよくない気がする… 「モジュールの中で操作しようとしている変数の集合」って認識したら正しそう。

EasyCryptリファレンスマニュアルの非公式(かつガバガバな)訳です。 モジュール型って要するにインターフェースとかよばれるものですね。

EasyCryptリファレンスマニュアルの非公式な訳です。 いろいろガバガバなのは許してくれ