Up
–
imandra-client
»
Imandra_client_lib
» Client_with_no_backend
Module
Imandra_client_lib.Client_with_no_backend
val
run :
(
stop:
Switch
.t
->
unit
->
'a
)
->
'a