sig   val p_address : MrMime_address.address MrMime_parser.t   val p_addresses : MrMime_address.address list MrMime_parser.t   val p_local : MrMime_address.local MrMime_parser.t   val p_domain : MrMime_address.domain MrMime_parser.t end