pin_unpin_actor_auth.pony 1 2 3 4 5 6primitive PinUnpinActorAuth """ Authority to pin and unpin actors to scheduler threads. """ new create(from: AmbientAuth) => None