{{Apache web server configuration}}
+extern type web_node;
+{{Nodes that accept Apache configuration from you}}
+
+extern val web_node_to_node : web_node -> node;
+
context Vhost;
{{A WWW virtual host}}
extern val vhost : host -> Vhost => [Domain]
- {WebNodes : [node],
+ {WebNodes : [web_node],
SSL : bool,
User : your_user,
Group : your_group,
extern type location;
{{A valid URI prefix}}
-extern val location : location -> ^Vhost & Location => [Vhost & !Location];
+extern val location : location -> Vhost & Location => [Vhost & !Location];
extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location];
{{Set some configuration specific to a URI prefix or filesystem directory,
respectively.}}