type t = {monitor : Async_kernel__Types.Monitor.t; | 
priority : Priority.t; | 
local_storage : Core_kernel.Univ_map.t; | 
backtrace_history : Core_kernel.Backtrace.t list; | 
}val backtrace_history : t -> Core_kernel.Backtrace.t listval local_storage : t -> Core_kernel.Univ_map.tval priority : t -> Priority.tval monitor : t -> Async_kernel__Types.Monitor.tmodule Fields : sig ... endval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tinclude Core_kernel.Invariant.S with type t := t
val invariant : t -> unitval main : tval create_like : ?monitor:Async_kernel__Types.Monitor.t -> ?priority:Priority.t -> ?local_storage:Core_kernel.Univ_map.t -> t -> tval find_local : t -> 'a Core_kernel.Univ_map.Key.t -> 'a optionval with_local : t -> 'a Core_kernel.Univ_map.Key.t -> 'a option -> t