Module Imandra_interactive_lib.Interactive_background_thread

Background thread for imandra-interactive

include Imandra_util_thread.Background_thread.S
val running_on_bg_thread : unit -> bool
val run : ( unit -> unit ) -> unit
val run1 : ( 'a -> unit ) -> 'a -> unit
module Fut : Imandra_util_thread__.Fut.S
val call : name:string -> ( 'a -> 'b ) -> 'a -> 'b Fut.t
val call0 : name:string -> ( unit -> 'a ) -> 'a Fut.t
val call1 : name:string -> ( 'a -> 'b ) -> 'a -> 'b Fut.t
val call2 : name:string -> ( 'a -> 'b -> 'c ) -> 'a -> 'b -> 'c Fut.t
val run0 : ( unit -> unit ) -> unit
val run2 : ( 'a -> 'b -> unit ) -> 'a -> 'b -> unit
val unwrap_ : ( 'a, Fut.exn_with_bt_opt ) Stdlib.result -> 'a
val set_exn_handler : ( exn -> Stdlib.Printexc.raw_backtrace -> unit ) -> unit