{{The most common kinds of domain configuration}} val web_node : (node) = "mire"; val webAt = \ n : (node) -> \ host : (host) -> \\ config : Vhost -> (dns (dnsA host (ip_of_node n)); vhost host where WebNodes = [n] with config end); val web = webAt web_node; val dom = \ d : (your_domain) -> \\ config : Domain -> domain d with dns (dnsNS "ns.hcoop.net"); dns (dnsNS "ns2.hcoop.net"); handleMail; mailbox <- Mailbox; catchAllAlias mailbox; web "www" with end; config end;