@NotNull
@Override
public Type transform(@NotNull State s) {
ModuleType mt = new ModuleType(name, file, Analyzer.self.globaltable);
s.insert(_.moduleQname(file), this, mt, Binding.Kind.MODULE);
if (body != null) {
transformExpr(body, mt.table);
}
return mt;