Module Execution_context.Fields

module Fields: sig .. end

val names : string list

val backtrace_history : (Execution_context.t, Core.Std.Backtrace.t list) Fieldslib.Field.t

val priority : (Execution_context.t, Priority.t) Fieldslib.Field.t

val monitor : (Execution_context.t, Execution_context.t Execution_context.Monitor.t)
       Fieldslib.Field.t

val block_group : (Execution_context.t, Block_group.t) Fieldslib.Field.t

val make_creator : block_group:((Execution_context.t, Block_group.t) Fieldslib.Field.t ->
                    'a -> ('b -> Block_group.t) * 'c) ->
       monitor:((Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t ->
                'c -> ('b -> Execution_context.t Execution_context.Monitor.t) * 'd) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t ->
                 'd -> ('b -> Priority.t) * 'e) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t ->
                          'e -> ('b -> Core.Std.Backtrace.t list) * 'f) ->
       'a -> ('b -> Execution_context.t) * 'f

val create : block_group:Block_group.t ->
       monitor:Execution_context.t Execution_context.Monitor.t ->
       priority:Priority.t ->
       backtrace_history:Core.Std.Backtrace.t list -> Execution_context.t

val iter : block_group:((Execution_context.t, Block_group.t) Fieldslib.Field.t -> 'a) ->
       monitor:((Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t -> 'b) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> 'c) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> 'd) ->
       'd

val fold : init:'a ->
       block_group:('a ->
                    (Execution_context.t, Block_group.t) Fieldslib.Field.t -> 'b) ->
       monitor:('b ->
                (Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t -> 'c) ->
       priority:('c -> (Execution_context.t, Priority.t) Fieldslib.Field.t -> 'd) ->
       backtrace_history:('d ->
                          (Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> 'e) ->
       'e

val map : block_group:((Execution_context.t, Block_group.t) Fieldslib.Field.t ->
                    Block_group.t) ->
       monitor:((Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t -> Execution_context.t Execution_context.Monitor.t) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> Priority.t) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> Core.Std.Backtrace.t list) ->
       Execution_context.t

val map_poly : (Execution_context.t, 'a) Fieldslib.Field.user -> 'a list

val for_all : block_group:((Execution_context.t, Block_group.t) Fieldslib.Field.t -> bool) ->
       monitor:((Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t -> bool) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> bool) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> bool) ->
       bool

val exists : block_group:((Execution_context.t, Block_group.t) Fieldslib.Field.t -> bool) ->
       monitor:((Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t -> bool) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> bool) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> bool) ->
       bool

val to_list : block_group:((Execution_context.t, Block_group.t) Fieldslib.Field.t -> 'a) ->
       monitor:((Execution_context.t,
                 Execution_context.t Execution_context.Monitor.t)
                Fieldslib.Field.t -> 'a) ->
       priority:((Execution_context.t, Priority.t) Fieldslib.Field.t -> 'a) ->
       backtrace_history:((Execution_context.t, Core.Std.Backtrace.t list)
                          Fieldslib.Field.t -> 'a) ->
       'a list

module Direct: sig .. end