Reasoning_proxy_util (imandra-base.Imandra_interactive.Reasoning_proxy

Utils for the client's backend

module P = Imandra_protocol

val ext_solvers_ : Imandra_surface.Event.ext_solver_name list option Stdlib.ref

module type ARG = sig ... end

module Make (Arg : ARG) : sig ... end