Module Globals.Proxy_utils

Frontend for the reasoning proxy, based on the state above

module P = Imandra_protocol
val perform_action : P.Action.t -> unit