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