Imandra_client_lib.Client
exception Conn_lost
val with_server : ?allow_skip:bool -> ?address:string -> ?use_tcp:bool -> ?socket_dir:string -> ?start_server:bool -> ?server_name:string -> ( unit -> 'a ) -> 'a