-let innertypesfile =
- try
- Sys.getenv "GTOPLEVEL_INNERTYPESFILE"
- with
- Not_found -> "/public/innertypes"
-;;
-
-let constanttypefile =
- try
- Sys.getenv "GTOPLEVEL_CONSTANTTYPEFILE"
- with
- Not_found -> "/public/constanttype"
-;;
+let innertypesfile () = Helm_registry.get "gtoplevel.inner_types_file";;
+let constanttypefile () = Helm_registry.get "gtoplevel.constant_type_file";;