The most common kinds of domain configuration

---

val default_node : node
val web_node : web_node
val web_ip : ip
val webAt :
 web_node ->
  host ->
   Vhost =>
    [Domain]
     {DocumentRoot : your_path,
       Group : your_group,
        PhpVersion : php_version,
         SSL : ssl,
          ServerAdmin : email,
           SuExec : suexec_flag, TTL : int, User : your_user}
val web :
 host ->
  Vhost =>
   [Domain]
    {DocumentRoot : your_path,
      Group : your_group,
       PhpVersion : php_version,
        SSL : ssl,
         ServerAdmin : email, SuExec : suexec_flag, TTL : int, User : your_user}
val webAtIp :
 your_ip ->
  host ->
   Vhost =>
    [Domain]
     {DocumentRoot : your_path,
       Group : your_group,
        PhpVersion : php_version,
         SSL : ssl,
          ServerAdmin : email,
           SuExec : suexec_flag, TTL : int, User : your_user}
val addDefaultAlias : [Domain] {MailNodes : [mail_node], Mailbox : email}
val addWww :
 [Domain]
  {DocumentRoot : your_path,
    Group : your_group,
     PhpVersion : php_version,
      SSL : ssl,
       ServerAdmin : email,
        SuExec : suexec_flag, TTL : int, User : your_user, WWW : [Vhost]}
val dom :
 your_domain ->
  Domain =>
   [Root]
    {AddMX : bool,
      Aliases : [your_domain],
       CreateWWW : bool,
        DNS : dnsKind,
         DefaultA : bool,
          DefaultAlias : bool,
           DocumentRoot : your_path,
            Group : your_group,
             HandleMail : bool,
              MailNodes : [mail_node],
               Mailbox : email,
                PhpVersion : php_version,
                 SSL : ssl,
                  ServerAdmin : email,
                   SuExec : suexec_flag,
                    TTL : int, User : your_user, WWW : [Vhost]}
val nameserver : domain -> [Domain] {TTL : int}
val dnsIP : host -> ip -> [Domain] {TTL : int}
val dnsIPv6 : host -> ipv6 -> [Domain] {TTL : int}
val dnsMail : int -> domain -> [Domain] {TTL : int}
val dnsAlias : host -> domain -> [Domain] {TTL : int}
val dnsDefault : ip -> [Domain] {TTL : int}
val dnsDefaultv6 : ipv6 -> [Domain] {TTL : int}
val dnsText : srv_domain -> no_newlines -> [Domain] {TTL : int}
val dnsDefaultText : no_newlines -> [Domain] {TTL : int}
val dnsWildcardIP : ip -> [Domain] {TTL : int}

---

val default_node : node

val web_node : web_node

val web_ip : ip

val webAt :
 web_node ->
  host ->
   Vhost =>
    [Domain]
     {DocumentRoot : your_path,
       Group : your_group,
        PhpVersion : php_version,
         SSL : ssl,
          ServerAdmin : email,
           SuExec : suexec_flag, TTL : int, User : your_user}

val web :
 host ->
  Vhost =>
   [Domain]
    {DocumentRoot : your_path,
      Group : your_group,
       PhpVersion : php_version,
        SSL : ssl,
         ServerAdmin : email, SuExec : suexec_flag, TTL : int, User : your_user}

val webAtIp :
 your_ip ->
  host ->
   Vhost =>
    [Domain]
     {DocumentRoot : your_path,
       Group : your_group,
        PhpVersion : php_version,
         SSL : ssl,
          ServerAdmin : email,
           SuExec : suexec_flag, TTL : int, User : your_user}

val addDefaultAlias : [Domain] {MailNodes : [mail_node], Mailbox : email}

val addWww :
 [Domain]
  {DocumentRoot : your_path,
    Group : your_group,
     PhpVersion : php_version,
      SSL : ssl,
       ServerAdmin : email,
        SuExec : suexec_flag, TTL : int, User : your_user, WWW : [Vhost]}

val dom :
 your_domain ->
  Domain =>
   [Root]
    {AddMX : bool,
      Aliases : [your_domain],
       CreateWWW : bool,
        DNS : dnsKind,
         DefaultA : bool,
          DefaultAlias : bool,
           DocumentRoot : your_path,
            Group : your_group,
             HandleMail : bool,
              MailNodes : [mail_node],
               Mailbox : email,
                PhpVersion : php_version,
                 SSL : ssl,
                  ServerAdmin : email,
                   SuExec : suexec_flag,
                    TTL : int, User : your_user, WWW : [Vhost]}

val nameserver : domain -> [Domain] {TTL : int}

val dnsIP : host -> ip -> [Domain] {TTL : int}

val dnsIPv6 : host -> ipv6 -> [Domain] {TTL : int}

val dnsMail : int -> domain -> [Domain] {TTL : int}

val dnsAlias : host -> domain -> [Domain] {TTL : int}

val dnsDefault : ip -> [Domain] {TTL : int}

val dnsDefaultv6 : ipv6 -> [Domain] {TTL : int}

val dnsText : srv_domain -> no_newlines -> [Domain] {TTL : int}

val dnsDefaultText : no_newlines -> [Domain] {TTL : int}

val dnsWildcardIP : ip -> [Domain] {TTL : int}