計算量は爆発しないと思うよ

1:36 AM

新たに取り込むモジュールのDeclの数nに対してO(n)のスキャンをするだけだから。

1:37 AM

すでに取り込んだDeclはテーブルに入ってればO(1)で突合チェックできる。