Concurrent Clean : CleanJ : 他のモジュールの情報を参照する必要性

replace命令などを見ると、他のモジュールで定義されている情報を参照しなければ静的に取り扱うことはできなさそうだ。(後述)
これは面倒だなぁ。

      • -

あ、これは引数のa_size, b_sizeから必要な情報が取得できるのか。
それなら、他のモジュールを見る必要はない。