• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
    • Apt
    • Acre
    • Milawa
    • Smtlink
    • Aleobft
    • Abnf
      • Deftreeops
      • Defdefparse
      • Defgrammar
      • Abnf-tree-utilities
      • Notation
      • Grammar-parser
      • Meta-circular-validation
      • Parsing-primitives-defresult
      • Parsing-primitives-seq
      • Operations
      • Examples
        • Pdf-example
        • Smtp-example
          • *all-smtp-grammar-rules*
          • Smtp-cst-ipv6-addr-conc?
          • Smtp-cst-imf-local-part-conc?
          • Smtp-cst-imf-domain-conc?
          • Smtp-cst-id-right-conc?
          • Smtp-cst-ccontent-conc?
          • Smtp-cst-qcontentsmtp-conc?
          • Smtp-cst-local-part-conc?
          • Smtp-cst-list-list-conc-matchp$
          • Smtp-cst-list-list-alt-matchp$
          • Smtp-cst-qcontent-conc?
          • Smtp-cst-obs-dtext-conc?
          • Smtp-cst-word-conc?
          • Smtp-cst-string-conc?
          • Smtp-cst-list-rep-matchp$
          • Smtp-cst-list-elem-matchp$
          • Smtp-cst-let-dig-conc?
          • Smtp-cst-id-left-conc?
          • Smtp-cst-wsp-conc?
          • Smtp-cst-qcontentsmtp-conc2-rep-elem
          • Smtp-cst-qcontentsmtp-conc1-rep-elem
          • Smtp-cst-imf-local-part-conc3-rep-elem
          • Smtp-cst-imf-local-part-conc2-rep-elem
          • Smtp-cst-imf-local-part-conc1-rep-elem
          • Smtp-cst-additional-registered-clauses-conc
          • Smtp-cst-standardized-tag-conc-rep-elem
          • Smtp-cst-qcontentsmtp-conc2-rep
          • Smtp-cst-qcontentsmtp-conc1-rep
          • Smtp-cst-obs-dtext-conc2-rep-elem
          • Smtp-cst-obs-dtext-conc1-rep-elem
          • Smtp-cst-matchp$
          • Smtp-cst-local-part-conc2-rep-elem
          • Smtp-cst-local-part-conc1-rep-elem
          • Smtp-cst-ipv6-addr-conc4-rep-elem
          • Smtp-cst-ipv6-addr-conc3-rep-elem
          • Smtp-cst-ipv6-addr-conc2-rep-elem
          • Smtp-cst-ipv6-addr-conc1-rep-elem
          • Smtp-cst-imf-local-part-conc3-rep
          • Smtp-cst-imf-local-part-conc3
          • Smtp-cst-imf-local-part-conc2-rep
          • Smtp-cst-imf-local-part-conc2
          • Smtp-cst-imf-local-part-conc1-rep
          • Smtp-cst-imf-local-part-conc1
          • Smtp-cst-imf-domain-conc3-rep-elem
          • Smtp-cst-imf-domain-conc2-rep-elem
          • Smtp-cst-imf-domain-conc1-rep-elem
          • Smtp-cst-general-address-literal-conc
          • Smtp-cst-time-stamp-line-conc
          • Smtp-cst-string-conc2-rep-elem
          • Smtp-cst-string-conc1-rep-elem
          • Smtp-cst-standardized-tag-conc-rep
          • Smtp-cst-standardized-tag-conc
          • Smtp-cst-return-path-line-conc
          • Smtp-cst-rcpt-parameters-conc
          • Smtp-cst-qcontentsmtp-conc2
          • Smtp-cst-qcontentsmtp-conc1
          • Smtp-cst-qcontent-conc2-rep-elem
          • Smtp-cst-qcontent-conc2-rep
          • Smtp-cst-qcontent-conc1-rep-elem
          • Smtp-cst-qcontent-conc1-rep
          • Smtp-cst-obs-id-right-conc-rep-elem
          • Smtp-cst-obs-id-left-conc-rep-elem
          • Smtp-cst-obs-dtext-conc2-rep
          • Smtp-cst-obs-dtext-conc2
          • Smtp-cst-obs-dtext-conc1-rep
          • Smtp-cst-obs-dtext-conc1
          • Smtp-cst-obs-day-of-week-conc
          • Smtp-cst-mail-parameters-conc
          • Smtp-cst-local-part-conc2-rep
          • Smtp-cst-local-part-conc2
          • Smtp-cst-local-part-conc1-rep
          • Smtp-cst-local-part-conc1
          • Smtp-cst-let-dig-conc2-rep-elem
          • Smtp-cst-let-dig-conc2-rep
          • Smtp-cst-let-dig-conc1-rep-elem
          • Smtp-cst-let-dig-conc1-rep
          • Smtp-cst-ipv6-address-literal-conc
          • Smtp-cst-ipv6-addr-conc4-rep
          • Smtp-cst-ipv6-addr-conc4
          • Smtp-cst-ipv6-addr-conc3-rep
          • Smtp-cst-ipv6-addr-conc3
          • Smtp-cst-ipv6-addr-conc2-rep
          • Smtp-cst-ipv6-addr-conc2
          • Smtp-cst-ipv6-addr-conc1-rep
          • Smtp-cst-ipv6-addr-conc1
          • Smtp-cst-ipv4-address-literal-conc
          • Smtp-cst-imf-quoted-string-conc
          • Smtp-cst-imf-domain-conc3-rep
          • Smtp-cst-imf-domain-conc3
          • Smtp-cst-imf-domain-conc2-rep
          • Smtp-cst-imf-domain-conc2
          • Smtp-cst-imf-domain-conc1-rep
          • Smtp-cst-imf-domain-conc1
          • Smtp-cst-id-right-conc3-rep-elem
          • Smtp-cst-id-right-conc3-rep
          • Smtp-cst-id-right-conc2-rep-elem
          • Smtp-cst-id-right-conc2-rep
          • Smtp-cst-id-right-conc1-rep-elem
          • Smtp-cst-id-right-conc1-rep
          • Smtp-cst-id-left-conc2-rep-elem
          • Smtp-cst-id-left-conc2-rep
          • Smtp-cst-id-left-conc1-rep-elem
          • Smtp-cst-id-left-conc1-rep
          • Smtp-cst-forward-path-conc-rep-elem
          • Smtp-cst-ccontent-conc3-rep-elem
          • Smtp-cst-ccontent-conc3-rep
          • Smtp-cst-ccontent-conc2-rep-elem
          • Smtp-cst-ccontent-conc2-rep
          • Smtp-cst-ccontent-conc1-rep-elem
          • Smtp-cst-ccontent-conc1-rep
          • Smtp-cst-attdl-protocol-conc-rep-elem
          • Smtp-cst-attdl-protocol-conc-rep
          • Smtp-cst-addtl-link-conc-rep-elem
          • Smtp-cst-address-literal-conc
          • Smtp-cst-wsp-conc2-rep-elem
          • Smtp-cst-wsp-conc1-rep-elem
          • Smtp-cst-word-conc2-rep-elem
          • Smtp-cst-word-conc2-rep
          • Smtp-cst-word-conc1-rep-elem
          • Smtp-cst-word-conc1-rep
          • Smtp-cst-time-of-day-conc
          • Smtp-cst-string-conc2-rep
          • Smtp-cst-string-conc2
          • Smtp-cst-string-conc1-rep
          • Smtp-cst-string-conc1
          • Smtp-cst-reply-line-conc
          • Smtp-cst-reply-code-conc
          • Smtp-cst-quoted-string-conc
          • Smtp-cst-quoted-pairsmtp-conc
          • Smtp-cst-qcontent-conc2
          • Smtp-cst-qcontent-conc1
          • Smtp-cst-obs-second-conc
          • Smtp-cst-obs-qtext-conc-rep-elem
          • Smtp-cst-obs-qtext-conc-rep
          • Smtp-cst-obs-minute-conc
          • Smtp-cst-obs-local-part-conc
          • Smtp-cst-obs-id-right-conc-rep
          • Smtp-cst-obs-id-right-conc
          • Smtp-cst-obs-id-left-conc-rep
          • Smtp-cst-obs-id-left-conc
          • Smtp-cst-obs-domain-conc
          • Smtp-cst-obs-ctext-conc-rep-elem
          • Smtp-cst-obs-ctext-conc-rep
          • Smtp-cst-no-fold-literal-conc
          • Smtp-cst-let-dig-conc2
          • Smtp-cst-let-dig-conc1
          • Smtp-cst-keyword-conc-rep-elem
          • Smtp-cst-ipv6v4-full-conc
          • Smtp-cst-ipv6v4-comp-conc
          • Smtp-cst-id-right-conc3
          • Smtp-cst-id-right-conc2
          • Smtp-cst-id-right-conc1
          • Smtp-cst-id-left-conc2
          • Smtp-cst-id-left-conc1
          • Smtp-cst-from-domain-conc
          • Smtp-cst-forward-path-conc-rep
          • Smtp-cst-forward-path-conc
          • Smtp-cst-esmtp-value-conc
          • Smtp-cst-esmtp-param-conc
          • Smtp-cst-esmtp-keyword-conc
          • Smtp-cst-ehlo-keyword-conc
          • Smtp-cst-ehlo-greet-conc
          • Smtp-cst-dquote-conc-rep-elem
          • Smtp-cst-dot-atom-text-conc
          • Smtp-cst-domain-literal-conc
          • Smtp-cst-date-time-conc
          • Smtp-cst-ccontent-conc3
          • Smtp-cst-ccontent-conc2
          • Smtp-cst-ccontent-conc1
          • Smtp-cst-attdl-protocol-conc
          • Smtp-cst-argument-conc-rep-elem
          • Smtp-cst-argument-conc-rep
          • Smtp-cst-addtl-link-conc-rep
          • Smtp-cst-wsp-conc2-rep
          • Smtp-cst-wsp-conc2
          • Smtp-cst-wsp-conc1-rep
          • Smtp-cst-wsp-conc1
          • Smtp-cst-word-conc2
          • Smtp-cst-word-conc1
          • Smtp-cst-vchar-conc-rep-elem
          • Smtp-cst-vchar-conc-rep
          • Smtp-cst-textstring-conc
          • Smtp-cst-sub-domain-conc
          • Smtp-cst-stamp-conc
          • Smtp-cst-sp-conc-rep-elem
          • Smtp-cst-opt-info-conc
          • Smtp-cst-obs-year-conc
          • Smtp-cst-obs-qtext-conc
          • Smtp-cst-obs-qp-conc
          • Smtp-cst-obs-hour-conc
          • Smtp-cst-obs-fws-conc
          • Smtp-cst-obs-day-conc
          • Smtp-cst-obs-ctext-conc
          • Smtp-cst-msg-id-conc
          • Smtp-cst-mailbox-conc
          • Smtp-cst-lf-conc-rep-elem
          • Smtp-cst-ldh-str-conc
          • Smtp-cst-keyword-conc-rep
          • Smtp-cst-keyword-conc
          • Smtp-cst-ipv6-hex-conc
          • Smtp-cst-ipv6-full-conc
          • Smtp-cst-ipv6-comp-conc
          • Smtp-cst-imf-atom-conc
          • Smtp-cst-htab-conc-rep-elem
          • Smtp-cst-htab-conc-rep
          • Smtp-cst-ehlo-param-conc
          • Smtp-cst-ehlo-line-conc
          • Smtp-cst-ehlo-conc
          • Smtp-cst-dquote-conc-rep
          • Smtp-cst-dquote-conc
          • Smtp-cst-dot-string-conc
          • Smtp-cst-dot-atom-conc
          • Smtp-cst-domain-conc
          • Smtp-cst-digit-conc-rep-elem
          • Smtp-cst-digit-conc-rep
          • Smtp-cst-cr-conc-rep-elem
          • Smtp-cst-comment-conc
          • Smtp-cst-by-domain-conc
          • Smtp-cst-at-domain-conc
          • Smtp-cst-argument-conc
          • Smtp-cst-addtl-link-conc
          • Smtp-cst-a-d-l-conc
          • *smtp-grammar-rules*
          • Smtp-cst-with-conc
          • Smtp-cst-vrfy-conc
          • Smtp-cst-via-conc
          • Smtp-cst-vchar-conc
          • Smtp-cst-time-conc
          • Smtp-cst-sp-conc-rep
          • Smtp-cst-sp-conc
          • Smtp-cst-snum-conc
          • Smtp-cst-rset-conc
          • Smtp-cst-rcpt-conc
          • Smtp-cst-quit-conc
          • Smtp-cst-path-conc
          • Smtp-cst-noop-conc
          • Smtp-cst-mail-conc
          • Smtp-cst-lf-conc-rep
          • Smtp-cst-lf-conc
          • Smtp-cst-id-conc
          • Smtp-cst-htab-conc
          • Smtp-cst-help-conc
          • Smtp-cst-helo-conc
          • Smtp-cst-for-conc
          • Smtp-cst-expn-conc
          • Smtp-cst-digit-conc
          • Smtp-cst-date-conc
          • Smtp-cst-data-conc
          • Smtp-cst-crlf-conc
          • Smtp-cst-cr-conc-rep
          • Smtp-cst-cr-conc
          • Smtp-cst-atom-conc
          • Smtp-cst-%x61-7a-nat
          • Smtp-cst-%x41-5a-nat
          • Smtp-cst-%x32-35-nat
          • Smtp-cst-%x30-39-nat
          • Smtp-cst-%x30-35-nat
          • Smtp-cst-%x21-7e-nat
          • Smtp-cst-%d97-105-nat
          • Smtp-cst-%d94-126-nat
          • Smtp-cst-%d93-126-nat
          • Smtp-cst-%d75-90-nat
          • Smtp-cst-%d65-73-nat
          • Smtp-cst-%d62-126-nat
          • Smtp-cst-%d42-91-nat
          • Smtp-cst-%d35-91-nat
          • Smtp-cst-%d33-90-nat
          • Smtp-cst-%d33-60-nat
          • Smtp-cst-%d33-39-nat
          • Smtp-cst-%d33-126-nat
          • Smtp-cst-%d32-33-nat
          • Smtp-cst-%d32-126-nat
          • Smtp-cst-%d14-31-nat
          • Smtp-cst-%d14-127-nat
          • Smtp-cst-%d11-12-nat
          • Smtp-cst-%d107-122-nat
          • Smtp-cst-%d1-8-nat
          • Smtp-cst-%d0-9-nat
        • Imap-example
        • Http-example
        • Uri-example
        • Imf-example
      • Differences-with-paper
      • Grammar-printer
      • Parsing-tools
    • Vwsim
    • Isar
    • Wp-gen
    • Dimacs-reader
    • Pfcs
    • Legacy-defrstobj
    • Proof-checker-array
    • Soft
    • Farray
    • Rp-rewriter
    • Instant-runoff-voting
    • Imp-language
    • Sidekick
    • Leftist-trees
    • C
    • Java
    • Taspi
    • Bitcoin
    • Des
    • Ethereum
    • X86isa
    • Sha-2
    • Yul
    • Riscv
    • Zcash
    • Proof-checker-itp13
    • Regex
    • ACL2-programming-language
    • Json
    • Jfkr
    • Equational
    • Cryptography
    • Poseidon
    • Where-do-i-place-my-book
    • Bigmems
    • Builtins
    • Axe
    • Execloader
    • Solidity
    • Leo
    • Paco
    • Concurrent-programs
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Examples

Smtp-example

The ABNF grammar of the SMTP (Simple Mail Transfer Protocol) syntax.

The SMTP syntax is specified by RFC 5321.

Subtopics

*all-smtp-grammar-rules*

All the SMTP grammar rules, including the referenced ABNF core rules.

Smtp-cst-ipv6-addr-conc?

Smtp-cst-imf-local-part-conc?

Smtp-cst-imf-domain-conc?

Smtp-cst-id-right-conc?

Smtp-cst-ccontent-conc?

Smtp-cst-qcontentsmtp-conc?

Smtp-cst-local-part-conc?

Smtp-cst-list-list-conc-matchp$

Smtp-cst-list-list-alt-matchp$

Smtp-cst-qcontent-conc?

Smtp-cst-obs-dtext-conc?

Smtp-cst-word-conc?

Smtp-cst-string-conc?

Smtp-cst-list-rep-matchp$

Smtp-cst-list-elem-matchp$

Smtp-cst-let-dig-conc?

Smtp-cst-id-left-conc?

Smtp-cst-wsp-conc?

Smtp-cst-qcontentsmtp-conc2-rep-elem

Smtp-cst-qcontentsmtp-conc1-rep-elem

Smtp-cst-imf-local-part-conc3-rep-elem

Smtp-cst-imf-local-part-conc2-rep-elem

Smtp-cst-imf-local-part-conc1-rep-elem

Smtp-cst-additional-registered-clauses-conc

Smtp-cst-standardized-tag-conc-rep-elem

Smtp-cst-qcontentsmtp-conc2-rep

Smtp-cst-qcontentsmtp-conc1-rep

Smtp-cst-obs-dtext-conc2-rep-elem

Smtp-cst-obs-dtext-conc1-rep-elem

Smtp-cst-matchp$

Smtp-cst-local-part-conc2-rep-elem

Smtp-cst-local-part-conc1-rep-elem

Smtp-cst-ipv6-addr-conc4-rep-elem

Smtp-cst-ipv6-addr-conc3-rep-elem

Smtp-cst-ipv6-addr-conc2-rep-elem

Smtp-cst-ipv6-addr-conc1-rep-elem

Smtp-cst-imf-local-part-conc3-rep

Smtp-cst-imf-local-part-conc3

Smtp-cst-imf-local-part-conc2-rep

Smtp-cst-imf-local-part-conc2

Smtp-cst-imf-local-part-conc1-rep

Smtp-cst-imf-local-part-conc1

Smtp-cst-imf-domain-conc3-rep-elem

Smtp-cst-imf-domain-conc2-rep-elem

Smtp-cst-imf-domain-conc1-rep-elem

Smtp-cst-general-address-literal-conc

Smtp-cst-time-stamp-line-conc

Smtp-cst-string-conc2-rep-elem

Smtp-cst-string-conc1-rep-elem

Smtp-cst-standardized-tag-conc-rep

Smtp-cst-standardized-tag-conc

Smtp-cst-return-path-line-conc

Smtp-cst-rcpt-parameters-conc

Smtp-cst-qcontentsmtp-conc2

Smtp-cst-qcontentsmtp-conc1

Smtp-cst-qcontent-conc2-rep-elem

Smtp-cst-qcontent-conc2-rep

Smtp-cst-qcontent-conc1-rep-elem

Smtp-cst-qcontent-conc1-rep

Smtp-cst-obs-id-right-conc-rep-elem

Smtp-cst-obs-id-left-conc-rep-elem

Smtp-cst-obs-dtext-conc2-rep

Smtp-cst-obs-dtext-conc2

Smtp-cst-obs-dtext-conc1-rep

Smtp-cst-obs-dtext-conc1

Smtp-cst-obs-day-of-week-conc

Smtp-cst-mail-parameters-conc

Smtp-cst-local-part-conc2-rep

Smtp-cst-local-part-conc2

Smtp-cst-local-part-conc1-rep

Smtp-cst-local-part-conc1

Smtp-cst-let-dig-conc2-rep-elem

Smtp-cst-let-dig-conc2-rep

Smtp-cst-let-dig-conc1-rep-elem

Smtp-cst-let-dig-conc1-rep

Smtp-cst-ipv6-address-literal-conc

Smtp-cst-ipv6-addr-conc4-rep

Smtp-cst-ipv6-addr-conc4

Smtp-cst-ipv6-addr-conc3-rep

Smtp-cst-ipv6-addr-conc3

Smtp-cst-ipv6-addr-conc2-rep

Smtp-cst-ipv6-addr-conc2

Smtp-cst-ipv6-addr-conc1-rep

Smtp-cst-ipv6-addr-conc1

Smtp-cst-ipv4-address-literal-conc

Smtp-cst-imf-quoted-string-conc

Smtp-cst-imf-domain-conc3-rep

Smtp-cst-imf-domain-conc3

Smtp-cst-imf-domain-conc2-rep

Smtp-cst-imf-domain-conc2

Smtp-cst-imf-domain-conc1-rep

Smtp-cst-imf-domain-conc1

Smtp-cst-id-right-conc3-rep-elem

Smtp-cst-id-right-conc3-rep

Smtp-cst-id-right-conc2-rep-elem

Smtp-cst-id-right-conc2-rep

Smtp-cst-id-right-conc1-rep-elem

Smtp-cst-id-right-conc1-rep

Smtp-cst-id-left-conc2-rep-elem

Smtp-cst-id-left-conc2-rep

Smtp-cst-id-left-conc1-rep-elem

Smtp-cst-id-left-conc1-rep

Smtp-cst-forward-path-conc-rep-elem

Smtp-cst-ccontent-conc3-rep-elem

Smtp-cst-ccontent-conc3-rep

Smtp-cst-ccontent-conc2-rep-elem

Smtp-cst-ccontent-conc2-rep

Smtp-cst-ccontent-conc1-rep-elem

Smtp-cst-ccontent-conc1-rep

Smtp-cst-attdl-protocol-conc-rep-elem

Smtp-cst-attdl-protocol-conc-rep

Smtp-cst-addtl-link-conc-rep-elem

Smtp-cst-address-literal-conc

Smtp-cst-wsp-conc2-rep-elem

Smtp-cst-wsp-conc1-rep-elem

Smtp-cst-word-conc2-rep-elem

Smtp-cst-word-conc2-rep

Smtp-cst-word-conc1-rep-elem

Smtp-cst-word-conc1-rep

Smtp-cst-time-of-day-conc

Smtp-cst-string-conc2-rep

Smtp-cst-string-conc2

Smtp-cst-string-conc1-rep

Smtp-cst-string-conc1

Smtp-cst-reply-line-conc

Smtp-cst-reply-code-conc

Smtp-cst-quoted-string-conc

Smtp-cst-quoted-pairsmtp-conc

Smtp-cst-qcontent-conc2

Smtp-cst-qcontent-conc1

Smtp-cst-obs-second-conc

Smtp-cst-obs-qtext-conc-rep-elem

Smtp-cst-obs-qtext-conc-rep

Smtp-cst-obs-minute-conc

Smtp-cst-obs-local-part-conc

Smtp-cst-obs-id-right-conc-rep

Smtp-cst-obs-id-right-conc

Smtp-cst-obs-id-left-conc-rep

Smtp-cst-obs-id-left-conc

Smtp-cst-obs-domain-conc

Smtp-cst-obs-ctext-conc-rep-elem

Smtp-cst-obs-ctext-conc-rep

Smtp-cst-no-fold-literal-conc

Smtp-cst-let-dig-conc2

Smtp-cst-let-dig-conc1

Smtp-cst-keyword-conc-rep-elem

Smtp-cst-ipv6v4-full-conc

Smtp-cst-ipv6v4-comp-conc

Smtp-cst-id-right-conc3

Smtp-cst-id-right-conc2

Smtp-cst-id-right-conc1

Smtp-cst-id-left-conc2

Smtp-cst-id-left-conc1

Smtp-cst-from-domain-conc

Smtp-cst-forward-path-conc-rep

Smtp-cst-forward-path-conc

Smtp-cst-esmtp-value-conc

Smtp-cst-esmtp-param-conc

Smtp-cst-esmtp-keyword-conc

Smtp-cst-ehlo-keyword-conc

Smtp-cst-ehlo-greet-conc

Smtp-cst-dquote-conc-rep-elem

Smtp-cst-dot-atom-text-conc

Smtp-cst-domain-literal-conc

Smtp-cst-date-time-conc

Smtp-cst-ccontent-conc3

Smtp-cst-ccontent-conc2

Smtp-cst-ccontent-conc1

Smtp-cst-attdl-protocol-conc

Smtp-cst-argument-conc-rep-elem

Smtp-cst-argument-conc-rep

Smtp-cst-addtl-link-conc-rep

Smtp-cst-wsp-conc2-rep

Smtp-cst-wsp-conc2

Smtp-cst-wsp-conc1-rep

Smtp-cst-wsp-conc1

Smtp-cst-word-conc2

Smtp-cst-word-conc1

Smtp-cst-vchar-conc-rep-elem

Smtp-cst-vchar-conc-rep

Smtp-cst-textstring-conc

Smtp-cst-sub-domain-conc

Smtp-cst-stamp-conc

Smtp-cst-sp-conc-rep-elem

Smtp-cst-opt-info-conc

Smtp-cst-obs-year-conc

Smtp-cst-obs-qtext-conc

Smtp-cst-obs-qp-conc

Smtp-cst-obs-hour-conc

Smtp-cst-obs-fws-conc

Smtp-cst-obs-day-conc

Smtp-cst-obs-ctext-conc

Smtp-cst-msg-id-conc

Smtp-cst-mailbox-conc

Smtp-cst-lf-conc-rep-elem

Smtp-cst-ldh-str-conc

Smtp-cst-keyword-conc-rep

Smtp-cst-keyword-conc

Smtp-cst-ipv6-hex-conc

Smtp-cst-ipv6-full-conc

Smtp-cst-ipv6-comp-conc

Smtp-cst-imf-atom-conc

Smtp-cst-htab-conc-rep-elem

Smtp-cst-htab-conc-rep

Smtp-cst-ehlo-param-conc

Smtp-cst-ehlo-line-conc

Smtp-cst-ehlo-conc

Smtp-cst-dquote-conc-rep

Smtp-cst-dquote-conc

Smtp-cst-dot-string-conc

Smtp-cst-dot-atom-conc

Smtp-cst-domain-conc

Smtp-cst-digit-conc-rep-elem

Smtp-cst-digit-conc-rep

Smtp-cst-cr-conc-rep-elem

Smtp-cst-comment-conc

Smtp-cst-by-domain-conc

Smtp-cst-at-domain-conc

Smtp-cst-argument-conc

Smtp-cst-addtl-link-conc

Smtp-cst-a-d-l-conc

*smtp-grammar-rules*

The SMTP grammar rules from RFC 5321.

Smtp-cst-with-conc

Smtp-cst-vrfy-conc

Smtp-cst-via-conc

Smtp-cst-vchar-conc

Smtp-cst-time-conc

Smtp-cst-sp-conc-rep

Smtp-cst-sp-conc

Smtp-cst-snum-conc

Smtp-cst-rset-conc

Smtp-cst-rcpt-conc

Smtp-cst-quit-conc

Smtp-cst-path-conc

Smtp-cst-noop-conc

Smtp-cst-mail-conc

Smtp-cst-lf-conc-rep

Smtp-cst-lf-conc

Smtp-cst-id-conc

Smtp-cst-htab-conc

Smtp-cst-help-conc

Smtp-cst-helo-conc

Smtp-cst-for-conc

Smtp-cst-expn-conc

Smtp-cst-digit-conc

Smtp-cst-date-conc

Smtp-cst-data-conc

Smtp-cst-crlf-conc

Smtp-cst-cr-conc-rep

Smtp-cst-cr-conc

Smtp-cst-atom-conc

Smtp-cst-%x61-7a-nat

Smtp-cst-%x41-5a-nat

Smtp-cst-%x32-35-nat

Smtp-cst-%x30-39-nat

Smtp-cst-%x30-35-nat

Smtp-cst-%x21-7e-nat

Smtp-cst-%d97-105-nat

Smtp-cst-%d94-126-nat

Smtp-cst-%d93-126-nat

Smtp-cst-%d75-90-nat

Smtp-cst-%d65-73-nat

Smtp-cst-%d62-126-nat

Smtp-cst-%d42-91-nat

Smtp-cst-%d35-91-nat

Smtp-cst-%d33-90-nat

Smtp-cst-%d33-60-nat

Smtp-cst-%d33-39-nat

Smtp-cst-%d33-126-nat

Smtp-cst-%d32-33-nat

Smtp-cst-%d32-126-nat

Smtp-cst-%d14-31-nat

Smtp-cst-%d14-127-nat

Smtp-cst-%d11-12-nat

Smtp-cst-%d107-122-nat

Smtp-cst-%d1-8-nat

Smtp-cst-%d0-9-nat