Module Execution_context.Fields.Direct

module Direct: sig .. end

val iter : Execution_context.t ->
       monitor:(([< `Read | `Set_and_create ], Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
                Fieldslib.Field.t_with_perm ->
                Execution_context.t ->
                Execution_context.t Execution_context.Monitor.t_ Backpatched.t -> 'a) ->
       priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
                 Fieldslib.Field.t_with_perm ->
                 Execution_context.t -> Priority.t -> 'b) ->
       backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
                           Core.Std.Backtrace.t list)
                          Fieldslib.Field.t_with_perm ->
                          Execution_context.t -> Core.Std.Backtrace.t list -> 'c) ->
       kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
                   Fieldslib.Field.t_with_perm ->
                   Execution_context.t -> Kill_index.t -> 'd) ->
       'd

val fold : Execution_context.t ->
       init:'a ->
       monitor:('a ->
                ([< `Read | `Set_and_create ], Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
                Fieldslib.Field.t_with_perm ->
                Execution_context.t ->
                Execution_context.t Execution_context.Monitor.t_ Backpatched.t -> 'b) ->
       priority:('b ->
                 ([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
                 Fieldslib.Field.t_with_perm ->
                 Execution_context.t -> Priority.t -> 'c) ->
       backtrace_history:('c ->
                          ([< `Read | `Set_and_create ], Execution_context.t,
                           Core.Std.Backtrace.t list)
                          Fieldslib.Field.t_with_perm ->
                          Execution_context.t -> Core.Std.Backtrace.t list -> 'd) ->
       kill_index:('d ->
                   ([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
                   Fieldslib.Field.t_with_perm ->
                   Execution_context.t -> Kill_index.t -> 'e) ->
       'e