Module MrMime_address.Make

module Make: sig .. end

type z = 

type 'a s = 

type 'a word 

type ('data, 'peano) llist 

val word : string -> [ `Atom | `String ] word

val atom : string -> [> `Atom ] word

val e : ([> `Atom ] word, z)
       llist

val (&) : 'a word ->
       ('a word, 'x) llist ->
       ('a word, 'x s)
       llist

val (@) : ([ `Atom | `String ] word, 'a s)
       llist ->
       ([ `Atom ] word, 'b s)
       llist -> MrMime_address.mailbox