Discards an observed return address: takes both the address and its mark off.
Refused for an address that is not marked.
the application's identifier
attribute, value and actor
attribute
value
actor
ok, the application and a message, or ok: false with errors
ok
ok: false
errors
Discards an observed return address: takes both the address and its mark off.
Refused for an address that is not marked.