(TBase "bool", dl),
(fn () => (EVar "true", dl)))
+val _ = Defaults.registerDefault ("DefaultA",
+ (TBase "bool", dl),
+ (fn () => (EVar "true", dl)))
+
+val _ = Defaults.registerDefault ("DefaultAlias",
+ (TBase "bool", dl),
+ (fn () => (EVar "true", dl)))
+
val _ = Defaults.registerDefault ("HandleMail",
(TBase "bool", dl),
(fn () => (EVar "true", dl)))