disposable_actor.pony

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