Module Imandra_client_lib.Server_conn

Connection to the server process

type t
val with_ : ?socket_dir:string -> ?address:string -> ?use_tcp:bool -> ?start_server:bool -> stop:Switch.t -> name:string -> ( t -> 'a ) -> 'a
val close : t -> unit
val active : t -> bool
val send_msg : t -> Imandra_protocol.Msg_from_client.t -> unit

Send message.

  • raises ServerExit

    if the connection is know to be closed

val recv_msg : t -> Imandra_protocol.Msg_from_server.t option