Globals_ (imandra-base.Imandra_interactive.Globals

Global state on the client side

val event_state_ : Imandra_surface.Event.State.t

val top_result_push_ : 
  ( ( unit -> Imandra_surface.Top_result.t ) -> bool ) Stdlib.ref