sig
  val w_crlf :
    (Encoder.t ->
     ([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
     Encoder.partial) ->
    Encoder.t -> 'a Encoder.partial
  val w_lst :
    (('a -> 'b) -> 'a -> 'b) ->
    ('c -> ('a -> 'b) -> 'a -> 'b) -> 'c list -> ('a -> 'b) -> 'a -> 'b
  val w_field' :
    [< `Received of
         [< `Addr of
              MrMime_address.local *
              (MrMime_address.domain * MrMime_address.domain list)
          | `Domain of MrMime_address.domain
          | `Word of MrMime_address.word ]
         list * MrMime_date.date option
     | `ReturnPath of
         (MrMime_address.local *
          (MrMime_address.domain * MrMime_address.domain list))
         option ] ->
    (Encoder.t ->
     ([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
     Encoder.partial Encoder.partial Encoder.partial Encoder.partial
     Encoder.partial Encoder.partial) ->
    Encoder.t ->
    'a Encoder.partial Encoder.partial Encoder.partial Encoder.partial
    Encoder.partial Encoder.partial
  val w_field :
    [< `Trace of
         (MrMime_address.local *
          (MrMime_address.domain * MrMime_address.domain list))
         option *
         ([< `Addr of
               MrMime_address.local *
               (MrMime_address.domain * MrMime_address.domain list)
           | `Domain of MrMime_address.domain
           | `Word of MrMime_address.word ]
          list * MrMime_date.date option)
         list ] ->
    (Encoder.t ->
     ([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
     Encoder.partial Encoder.partial Encoder.partial Encoder.partial
     Encoder.partial Encoder.partial) ->
    Encoder.t ->
    'a Encoder.partial Encoder.partial Encoder.partial Encoder.partial
    Encoder.partial Encoder.partial
  val w_trace :
    MrMime_trace.trace ->
    (Encoder.t ->
     ([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
     Encoder.partial Encoder.partial Encoder.partial Encoder.partial
     Encoder.partial Encoder.partial) ->
    Encoder.t ->
    'a Encoder.partial Encoder.partial Encoder.partial Encoder.partial
    Encoder.partial Encoder.partial
end