Module MrMime_trace (.ml)

module MrMime_trace: sig .. end

type local = Rfc822.local 

type domain = Rfc5322.domain 

type word = Rfc822.word 

type field = Rfc5322.trace 

type received = [ `Addr of
           local * (domain * domain list)
       | `Domain of domain
       | `Word of word ] 

type trace = {

module Address: MrMime_address

module Date: MrMime_date

val pp : Format.formatter -> trace -> unit

val pp_lst : sep:(Format.formatter -> unit -> unit) ->
       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit

val pp_path : Format.formatter ->
       Address.local * (Address.domain * Address.domain list) -> unit

val pp_received : Format.formatter ->
       [< `Addr of Address.local * (Address.domain * Address.domain list)
        | `Domain of Address.domain
        | `Word of Address.word ]
       list * Date.date option -> unit

val pp : Format.formatter -> trace -> unit

module Encoder: sig .. end

val decoder : ([> field ] as 'a) list ->
       (trace list * 'a list) Parser.t

val equal : 'a -> 'a -> bool