val debug : Imandra_util.Debug.backend Stdlib.refval console : Imandra_util.Console.backend Stdlib.refval push_top_result : ( unit -> Imandra_surface.Top_result.t ) -> boolval add_q_event_op : P.Stamp.t -> Imandra_surface.Event.op -> unitval add_q_eval : P.Stamp.t option -> Imandra_surface.Code_fragment.t -> unit