Top_result_ev (imandra-base.Imandra_interactive.Top_result

Toplevel set of results

val push : ( unit -> Imandra_surface.Top_result.t ) -> bool

Push a (lazy) result in the global set. Return true if the document was pushed

val push' : ( unit -> Imandra_surface.Top_result.t ) -> unit

val push_forced : Imandra_surface.Top_result.t -> unit

val capturing : 
  on_top:( ( unit -> Imandra_surface.Top_result.t ) -> bool ) ->
  ( unit -> 'a ) ->
  'a

capturing ~on_top f returns the same thing as f (), but redirects all top results to on_top