Module Execution_context.Fields

module Fields: sig .. end

val names : string list
val kill_index : ([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm
val backtrace_history : ([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm
val priority : ([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm
val monitor : ([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm
val work_group : ([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm
val make_creator : work_group:(([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm ->
'a -> ('b -> Work_group.t Backpatched.t) * 'c) ->
monitor:(([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm ->
'c ->
('b ->
Execution_context.t Execution_context.Monitor.t_ Backpatched.t) *
'd) ->
priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> 'd -> ('b -> Priority.t) * 'e) ->
backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm ->
'e -> ('b -> Core.Std.Backtrace.t list) * 'f) ->
kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'f -> ('b -> Kill_index.t) * 'g) ->
'a -> ('b -> Execution_context.t) * 'g
val create : work_group:Work_group.t Backpatched.t ->
monitor:Execution_context.t Execution_context.Monitor.t_ Backpatched.t ->
priority:Priority.t ->
backtrace_history:Core.Std.Backtrace.t list ->
kill_index:Kill_index.t -> Execution_context.t
val map : work_group:(([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm -> Work_group.t Backpatched.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.Monitor.t_ Backpatched.t) ->
priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> Priority.t) ->
backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm -> Core.Std.Backtrace.t list) ->
kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> Kill_index.t) ->
Execution_context.t
val iter : work_group:(([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm -> 'a) ->
monitor:(([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm -> 'b) ->
priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> 'c) ->
backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm -> 'd) ->
kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'e) ->
'e
val fold : init:'a ->
work_group:('a ->
([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm -> 'b) ->
monitor:('b ->
([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm -> 'c) ->
priority:('c ->
([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> 'd) ->
backtrace_history:('d ->
([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm -> 'e) ->
kill_index:('e ->
([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'f) ->
'f
val map_poly : ([< `Read | `Set_and_create ], Execution_context.t, 'a) Fieldslib.Field.user ->
'a list
val for_all : work_group:(([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm -> bool) ->
monitor:(([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm -> bool) ->
priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> bool) ->
backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val exists : work_group:(([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm -> bool) ->
monitor:(([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm -> bool) ->
priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> bool) ->
backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm -> bool) ->
kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val to_list : work_group:(([< `Read | `Set_and_create ], Execution_context.t,
Work_group.t Backpatched.t)
Fieldslib.Field.t_with_perm -> 'a) ->
monitor:(([< `Read | `Set_and_create ], Execution_context.t,
Execution_context.t Execution_context.Monitor.t_ Backpatched.t)
Fieldslib.Field.t_with_perm -> 'a) ->
priority:(([< `Read | `Set_and_create ], Execution_context.t, Priority.t)
Fieldslib.Field.t_with_perm -> 'a) ->
backtrace_history:(([< `Read | `Set_and_create ], Execution_context.t,
Core.Std.Backtrace.t list)
Fieldslib.Field.t_with_perm -> 'a) ->
kill_index:(([< `Read | `Set_and_create ], Execution_context.t, Kill_index.t)
Fieldslib.Field.t_with_perm -> 'a) ->
'a list
module Direct: sig .. end