Reasoning_proxy.Ext_solver
type name = Imandra_surface.Event.ext_solver_name
val list : scope:scope option -> unit -> name list Imandra_thread_util.Fut.t
val list_block : scope:scope option -> unit -> name list