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