Redirecting to ../../../../../ferrite_session/internal/protocol/public/struct.ExternalChoice.html...