Globals.Proxy_utils
val frontend : (module Imandra_interactive_lib.Reasoning_proxy.FRONTEND)
Frontend for the reasoning proxy, based on the state above
module P = Imandra_protocol
val make_dummy : unit -> Imandra_interactive_lib.Reasoning_proxy.t
val perform_action : P.Action.t -> unit