+val _ = Defaults.registerDefault ("DefaultAliasSource",
+ (TBase "aliasSource", dl),
+ (fn () => (EVar "defaultSource", dl)))
+
+val _ = Defaults.registerDefault ("HandleMail",
+ (TBase "bool", dl),
+ (fn () => (EVar "true", dl)))
+
+val _ = Defaults.registerDefault ("AddMX",
+ (TBase "bool", dl),
+ (fn () => (EVar "true", dl)))
+
+val _ = Defaults.registerDefault ("DefaultWebNode",
+ (TBase "web_node", dl),
+ (fn () => (EString "navajos", dl)))
+