+ public static EnvironmentSpecification DEFAULT_ENVIRONMENT_SPECIFICATION = new EnvironmentSpecification();
+ static {
+ DEFAULT_ENVIRONMENT_SPECIFICATION.importModule("Builtin", "");
+ DEFAULT_ENVIRONMENT_SPECIFICATION.importModule("Prelude", "");
+ }
+