The most common kinds of domain configuration

---

val web_node : web_node
val default_node : node
val web_ip : ip
val web_ipv6 : ipv6
Unannotated var declaration!
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]
    {DefaultWebNode : web_node,
      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 ->
  your_ipv6 ->
   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 webSsl :
 host ->
  ssl ->
   Vhost =>
    [Domain]
     {DefaultWebNode : web_node,
       DocumentRoot : your_path,
        ForceSSL : bool,
         Group : your_group,
          PhpVersion : php_version,
           ServerAdmin : email,
            SuExec : suexec_flag, TTL : int, User : your_user}
val addDefaultAlias :
 [Domain]
  {DefaultAliasSource : aliasSource, MailNodes : [mail_node], Mailbox : email}
val addWww :
 [Domain]
  {DefaultWebNode : web_node,
    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,
           DefaultAliasSource : aliasSource,
            DefaultWebNode : web_node,
             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 addDefaultSPF : [Domain] {TTL : int}

---

val web_node : web_node

val default_node : node

val web_ip : ip

val web_ipv6 : ipv6

Unannotated env declaration!

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]
    {DefaultWebNode : web_node,
      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 ->
  your_ipv6 ->
   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 webSsl :
 host ->
  ssl ->
   Vhost =>
    [Domain]
     {DefaultWebNode : web_node,
       DocumentRoot : your_path,
        ForceSSL : bool,
         Group : your_group,
          PhpVersion : php_version,
           ServerAdmin : email,
            SuExec : suexec_flag, TTL : int, User : your_user}

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

val addWww :
 [Domain]
  {DefaultWebNode : web_node,
    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,
           DefaultAliasSource : aliasSource,
            DefaultWebNode : web_node,
             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 addDefaultSPF : [Domain] {TTL : int}