Module Reasoning_proxy.Sync

val top : scope:scope option -> unit -> unit

Synchronize with server, waiting for all previous messages to be processed, and their responses, received.