Reasoning_proxy.Define_check
exception Rejected of P.Validate.Response.rej_reason
val top : scope:scope option -> ?cancel:Imandra_util.Switch.t -> P.Validate.Query.t -> P.Validate.Response.on_success Imandra_thread_util.Fut.t