C #-Style des accessoires d'événements pour les événements CLI dans F #

Question

J'expose un événement de F # à C # comme ceci:

let event = new DelegateEvent<EventHandler>()
member x.Ping() = event.Trigger([| x; EventArgs.Empty |])
[<CLIEvent>]
member x.PingEvent = event.Publish

Mais j'aimerais que certains code s'exécutent chaque fois que les gestionnaires sont ajoutés ou supprimés. Je pense que cela peut être fait en C # comme ceci:

public event EventHandler PingEvent
{
    add 
    {
        //do something
    }
    remove
    {
        //do something
    }
}

Comment écrire ce qui précède dans F #?