{{An IP address}}
extern type your_ip;
+extern val your_ip_to_ip : your_ip -> ip;
{{An IP address that you're authorized to use; e.g., for an SSL web host}}
extern type host;
val web = webAt web_node;
+val webAtIp =
+ \ ip : (your_ip) ->
+ \ host : (host) ->
+ \\ config : Vhost -> begin
+ dns (dnsA host (your_ip_to_ip ip));
+
+ vhost host where
+ WebPlaces = [web_place web_node ip]
+ with
+ config
+ end
+ end;
+
val addDefaultAlias = begin
mailbox <- Mailbox;
defaultAlias mailbox
Env.string
validNode
+val _ = Env.registerFunction ("your_ip_to_ip",
+ fn [e] => SOME e
+ | _ => NONE)
+
val _ = Env.registerFunction ("dns_node_to_node",
fn [e] => SOME e
| _ => NONE)