module Fields: sig .. end
val names : string list
val kill_index : (Execution_context.t, Kill_index.t) Fieldslib.Field.t
val backtrace_history : (Execution_context.t, Core.Std.Backtrace.t list) Fieldslib.Field.t
val local_storage : (Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t
val priority : (Execution_context.t, Priority.t) Fieldslib.Field.t
val monitor : (Execution_context.t, Raw_monitor.t) Fieldslib.Field.t
val fold : init:'acc__ ->
       monitor:('acc__ ->
                (Execution_context.t, Raw_monitor.t) Fieldslib.Field.t -> 'acc__) ->
       priority:('acc__ ->
                 (Execution_context.t, Priority.t) Fieldslib.Field.t -> 'acc__) ->
       local_storage:('acc__ ->
                      (Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      'acc__) ->
       backtrace_history:('acc__ ->
                          (Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> 'acc__) ->
       kill_index:('acc__ ->
                   (Execution_context.t, Kill_index.t) Fieldslib.Field.t -> 'acc__) ->
       'acc__
val make_creator : monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t ->
                'compile_acc__ -> ('input__ -> Raw_monitor.t) * 'compile_acc__) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t ->
                 'compile_acc__ -> ('input__ -> Priority.t) * 'compile_acc__) ->
       local_storage:((Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      'compile_acc__ ->
                      ('input__ -> Core.Std.Univ_map.t) * 'compile_acc__) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t ->
                          'compile_acc__ ->
                          ('input__ -> Core.Std.Backtrace.t list) * 'compile_acc__) ->
       kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t ->
                   'compile_acc__ -> ('input__ -> Kill_index.t) * 'compile_acc__) ->
       'compile_acc__ -> ('input__ -> Execution_context.t) * 'compile_acc__
val create : monitor:Raw_monitor.t ->
       priority:Priority.t ->
       local_storage:Core.Std.Univ_map.t ->
       backtrace_history:Core.Std.Backtrace.t list ->
       kill_index:Kill_index.t -> Execution_context.t
val map : monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t ->
                Raw_monitor.t) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> Priority.t) ->
       local_storage:((Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      Core.Std.Univ_map.t) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> Core.Std.Backtrace.t list) ->
       kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t ->
                   Kill_index.t) ->
       Execution_context.t
val iter : monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t -> unit) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> unit) ->
       local_storage:((Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      unit) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> unit) ->
       kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t -> unit) ->
       unit
val for_all : monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t -> bool) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> bool) ->
       local_storage:((Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      bool) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> bool) ->
       kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t -> bool) ->
       bool
val exists : monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t -> bool) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> bool) ->
       local_storage:((Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      bool) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> bool) ->
       kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t -> bool) ->
       bool
val to_list : monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t -> 'elem__) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> 'elem__) ->
       local_storage:((Execution_context.t, Core.Std.Univ_map.t) Fieldslib.Field.t ->
                      'elem__) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> 'elem__) ->
       kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t -> 'elem__) ->
       'elem__ list
val map_poly : ([< `Read | `Set_and_create ], Execution_context.t, 'x0) Fieldslib.Field.user ->
       'x0 list
module Direct: sig .. end