Up – Package index » dune-rpc » Library dune-rpc.private » Dune_rpc_private » Server_notifications

Module `Dune_rpc_private.Server_notifications`Source

Notification sent from server to client

Sourceval log : Message.t Decl.Notification.witness

Sourceval abort : Message.t Decl.Notification.witness