Module Imandra_interactive_lib.Reasoning_proxy_intf

Signatures for the interface to backend

module P = Imandra_protocol
type scope = Opentelemetry.Trace.scope
module type CONN = sig ... end

Connection to the reasoning backend

module type FRONTEND = sig ... end

Frontend parameters

module type REMOTE_REF_OPS = sig ... end
module type S = sig ... end

The type of the proxy