sig   type z = Z   type 'a s = S   type 'a word   type ('data, 'peano) llist   val word : string -> [ `Atom | `String ] MrMime_address.Make.word   val atom : string -> [> `Atom ] MrMime_address.Make.word   val e :     ([> `Atom ] MrMime_address.Make.word, MrMime_address.Make.z)     MrMime_address.Make.llist   val ( & ) :     'a MrMime_address.Make.word ->     ('a MrMime_address.Make.word, 'x) MrMime_address.Make.llist ->     ('a MrMime_address.Make.word, 'x MrMime_address.Make.s)     MrMime_address.Make.llist   val ( @ ) :     ([ `Atom | `String ] MrMime_address.Make.word, 'a MrMime_address.Make.s)     MrMime_address.Make.llist ->     ([ `Atom ] MrMime_address.Make.word, 'b MrMime_address.Make.s)     MrMime_address.Make.llist -> MrMime_address.mailbox end