Reasoning_proxy.Builtin
val exec_op_l : scope:scope option -> Imandra_surface.Builtin.State.op list -> unit