disposable_actor.pony

interface tag DisposableActor
  """
  An interface used to asynchronously dispose of an actor.
  """
  be dispose()