-module { export = [main], chr }
+module { export = [main], features = [chr] }
import "StandardLibrary"
main = ()
1.0
()
--
-module { export = [main], chr }
+module { export = [main], features = [chr] }
import "StandardLibrary"
main = ()
--
7:13-7:26: Field y not defined.
--
-module { export = [main], chr }
+module { export = [main], features = [chr] }
import "StandardLibrary"
--
8:13-8:35: Relation V does not define field names.
--
-module { export = [main], chr }
+module { export = [main], features = [chr] }
import "StandardLibrary"