disposable_actor.pony 1 2 3 4 5interface tag DisposableActor """ An interface used to asynchronously dispose of an actor. """ be dispose()