Reasoning_proxy.Exec_ops
val exec : scope:scope option -> Imandra_surface.Event.op list -> unit
execute these operations server side