extern val web_node_to_node : web_node -> node;
+extern type web_place;
+extern val web_place_default : web_node -> web_place;
+extern val web_place : web_node -> your_ip -> web_place;
+extern val web_place_to_web_node : web_place -> web_node;
+extern val web_place_to_node : web_place -> node;
+extern val web_place_to_ip : web_place -> ip;
+{{Web places are combinations of web nodes (servers on which you are allowed to
+ run web sites) and IP addresses on which those servers should listen for
+ requests.}}
+
context Vhost;
{{A WWW virtual host}}
extern val use_cert : ssl_cert_path -> ssl;
extern val vhost : host -> Vhost => [Domain]
- {WebNodes : [web_node],
+ {WebPlaces : [web_place],
SSL : ssl,
User : your_user,
Group : your_group,