IR、求值器与端口。此模块不得有任何三方依赖——纯度由 module-info 强制。