Imandra_eval.Internal_
val exec_ev_ops : Imandra_surface.DB_op.t list -> unit
Execute arbitrary event ops, without validating them. Warning use only if you know what you are doing
val exec_config_ops : Imandra_util.Logic_config.op list -> unit
Execute changes in config. Warning use only if you know what you are doing