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