Type Definition activitystreams::activity::Leave

type Leave = ActorAndObject<LeaveType>;

Indicates that the actor has left the object.

The target and origin typically have no meaning.

This is just an alias for Object<LeaveType> because there's no fields inherent to Leave that aren't already present on an ActorAndObject.