module Decoder:sig..end
val message : ([> `Content of string * Rfc5322.unstructured
         | `ContentDescription of Rfc5322.unstructured
         | `ContentEncoding of Rfc2045.mechanism
         | `ContentID of Rfc822.msg_id
         | `ContentType of Rfc2045.content
         | `MimeVersion of Rfc2045.version ]
        as 'a)
       list -> (MrMime_content.t * 'a list) MrMime_parser.t
      entity-headers := [ content CRLF ]
                        [ encoding CRLF ]
                        [ id CRLF ]
                        [ description CRLF ]
                        *( MIME-extension-field CRLF )
      MIME-message-headers := entity-headers
                              fields
                              version CRLF
                              ; The ordering of the header
                              ; fields implied by this BNF
                              ; definition should be ignored.
      
      NOTE:  this  decoder has no  `Skip and  `Unsafe constructor.  This
      things is let to MrMime_header.Decoder.header.
val part : ([> `Content of string * Rfc5322.unstructured
         | `ContentDescription of Rfc5322.unstructured
         | `ContentEncoding of Rfc2045.mechanism
         | `ContentID of Rfc822.msg_id
         | `ContentType of Rfc2045.content
         | `Skip of string
         | `Unsafe of string * Rfc5322.unstructured ]
        as 'a)
       list -> (MrMime_content.t * 'a list) MrMime_parser.t
     entity-headers := [ content CRLF ]
                       [ encoding CRLF ]
                       [ id CRLF ]
                       [ description CRLF ]
                       *( MIME-extension-field CRLF )
     MIME-part-headers := entity-headers
                          [ fields ]
                          ; Any field not beginning with
                          ; "content-" can have no defined
                          ; meaning and may be ignored.
                          ; The ordering of the header
                          ; fields implied by this BNF
                          ; definition should be ignored.