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