Execution_context (Std.Execution

type t = Types.Execution_context.t = {

monitor	: Monitor0.t	;
priority	: Priority.t	;
local_storage	: Core_kernel.Std.Univ_map.t	;
backtrace_history	: Core_kernel.Std.Backtrace.t list	;

}

val sexp_of_t : t -> Sexplib.Sexp.t

val backtrace_history : t -> Core_kernel.Std.Backtrace.t list

val local_storage : t -> Core_kernel.Std.Univ_map.t

val priority : t -> Priority.t

val monitor : t -> Monitor0.t

module Fields : sig .. end

include Core_kernel.Std.Invariant.S with type t := t

type t

val invariant : t Invariant_intf.inv

val main : t

val create_like : ?monitor:Monitor0.t -> ?priority:Priority.t -> ?local_storage:Core_kernel.Std.Univ_map.t -> t -> t

val find_local : t -> 'a Core_kernel.Std.Univ_map.Key.t -> 'a option

val with_local : t -> 'a Core_kernel.Std.Univ_map.Key.t -> 'a option -> t

val record_backtrace : t -> t

Module Execution_context = Execution_context