sig
  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
      val iter :
        Execution_context.t ->
        monitor:((Execution_context.t, Raw_monitor.t) Fieldslib.Field.t ->
                 Execution_context.t -> Raw_monitor.t -> unit) ->
        priority:((Execution_context.t, Priority.t) Fieldslib.Field.t ->
                  Execution_context.t -> Priority.t -> unit) ->
        local_storage:((Execution_context.t, Core.Std.Univ_map.t)
                       Fieldslib.Field.t ->
                       Execution_context.t -> Core.Std.Univ_map.t -> unit) ->
        backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                           Fieldslib.Field.t ->
                           Execution_context.t ->
                           Core.Std.Backtrace.t list -> unit) ->
        kill_index:((Execution_context.t, Kill_index.t) Fieldslib.Field.t ->
                    Execution_context.t -> Kill_index.t -> unit) ->
        unit
      val fold :
        Execution_context.t ->
        init:'acc__ ->
        monitor:('acc__ ->
                 (Execution_context.t, Raw_monitor.t) Fieldslib.Field.t ->
                 Execution_context.t -> Raw_monitor.t -> 'acc__) ->
        priority:('acc__ ->
                  (Execution_context.t, Priority.t) Fieldslib.Field.t ->
                  Execution_context.t -> Priority.t -> 'acc__) ->
        local_storage:('acc__ ->
                       (Execution_context.t, Core.Std.Univ_map.t)
                       Fieldslib.Field.t ->
                       Execution_context.t -> Core.Std.Univ_map.t -> 'acc__) ->
        backtrace_history:('acc__ ->
                           (Execution_context.t, Core.Std.Backtrace.t list)
                           Fieldslib.Field.t ->
                           Execution_context.t ->
                           Core.Std.Backtrace.t list -> 'acc__) ->
        kill_index:('acc__ ->
                    (Execution_context.t, Kill_index.t) Fieldslib.Field.t ->
                    Execution_context.t -> Kill_index.t -> 'acc__) ->
        'acc__
    end
end