module Direct: sig .. end
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__