Module Fields

val names : string list

val record_backtraces : ([< ], t, bool) Fieldslib.Field.t_with_perm

val max_num_jobs_per_priority_per_cycle : ([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm

val check_invariants : ([< ], t, bool) Fieldslib.Field.t_with_perm

val yield_ivar : ([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm

val event_added_hook : ([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm

val job_queued_hook : ([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm

val thread_safe_external_job_hook : ([< ], t, unit -> unit) Fieldslib.Field.t_with_perm

val external_jobs : ([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm

val time_source : ([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm

val last_cycle_num_jobs : ([< ], t, int) Fieldslib.Field.t_with_perm

val last_cycle_time : ([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm

val run_every_cycle_start : ([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm

val cycle_start : ([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm

val cycle_count : ([< ], t, int) Fieldslib.Field.t_with_perm

val uncaught_exn : ([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm

val current_execution_context : ([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm

val main_execution_context : ([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm

val low_priority_jobs : ([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm

val normal_priority_jobs : ([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm

val job_pool : ([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm

val check_access : ([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm

val make_creator : check_access:(([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> 'a -> ('b -> (unit -> unit) option) * 'c) -> job_pool:(([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> 'c -> ('b -> Job_pool.t) * 'd) -> normal_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> 'd -> ('b -> Job_queue.t) * 'e) -> low_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> 'e -> ('b -> Job_queue.t) * 'f) -> main_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'f -> ('b -> Execution_context.t) * 'g) -> current_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'g -> ('b -> Execution_context.t) * 'h) -> uncaught_exn:(([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> 'h -> ('b -> (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) * 'i) -> cycle_count:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'i -> ('b -> int) * 'j) -> cycle_start:(([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> 'j -> ('b -> Import.Time_ns.t) * 'k) -> run_every_cycle_start:(([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> 'k -> ('b -> (unit -> unit) list) * 'l) -> last_cycle_time:(([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> 'l -> ('b -> Import.Time_ns.Span.t) * 'm) -> last_cycle_num_jobs:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'm -> ('b -> int) * 'n) -> time_source:(([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> 'n -> ('b -> Core_kernel.Std.read_write Time_source.T1.t) * 'o) -> external_jobs:(([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> 'o -> ('b -> External_job.t Core_kernel.Std.Thread_safe_queue.t) * 'p) -> thread_safe_external_job_hook:(([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> 'p -> ('b -> unit -> unit) * 'q) -> job_queued_hook:(([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> 'q -> ('b -> (Priority.t -> unit) option) * 'r) -> event_added_hook:(([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> 'r -> ('b -> (Import.Time_ns.t -> unit) option) * 's) -> yield_ivar:(([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> 's -> ('b -> unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) * 't) -> check_invariants:(([< ], t, bool) Fieldslib.Field.t_with_perm -> 't -> ('b -> bool) * 'u) -> max_num_jobs_per_priority_per_cycle:(([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> 'u -> ('b -> Import.Max_num_jobs_per_priority_per_cycle.t) * 'v) -> record_backtraces:(([< ], t, bool) Fieldslib.Field.t_with_perm -> 'v -> ('b -> bool) * 'w) -> 'a -> ('b -> t) * 'w

val create : check_access:(unit -> unit) option -> job_pool:Job_pool.t -> normal_priority_jobs:Job_queue.t -> low_priority_jobs:Job_queue.t -> main_execution_context:Execution_context.t -> current_execution_context:Execution_context.t -> uncaught_exn:(Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option -> cycle_count:int -> cycle_start:Import.Time_ns.t -> run_every_cycle_start:(unit -> unit) list -> last_cycle_time:Import.Time_ns.Span.t -> last_cycle_num_jobs:int -> time_source:Core_kernel.Std.read_write Time_source.T1.t -> external_jobs:External_job.t Core_kernel.Std.Thread_safe_queue.t -> thread_safe_external_job_hook:(unit -> unit) -> job_queued_hook:(Priority.t -> unit) option -> event_added_hook:(Import.Time_ns.t -> unit) option -> yield_ivar:unit Types.Ivar.t Core_kernel.Std.sexp_opaque option -> check_invariants:bool -> max_num_jobs_per_priority_per_cycle:Import.Max_num_jobs_per_priority_per_cycle.t -> record_backtraces:bool -> t

val map : check_access:(([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> (unit -> unit) option) -> job_pool:(([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> Job_pool.t) -> normal_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> Job_queue.t) -> low_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> Job_queue.t) -> main_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> Execution_context.t) -> current_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> Execution_context.t) -> uncaught_exn:(([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) -> cycle_count:(([< ], t, int) Fieldslib.Field.t_with_perm -> int) -> cycle_start:(([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> Import.Time_ns.t) -> run_every_cycle_start:(([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> (unit -> unit) list) -> last_cycle_time:(([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> Import.Time_ns.Span.t) -> last_cycle_num_jobs:(([< ], t, int) Fieldslib.Field.t_with_perm -> int) -> time_source:(([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> Core_kernel.Std.read_write Time_source.T1.t) -> external_jobs:(([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> External_job.t Core_kernel.Std.Thread_safe_queue.t) -> thread_safe_external_job_hook:(([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> unit -> unit) -> job_queued_hook:(([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> (Priority.t -> unit) option) -> event_added_hook:(([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> (Import.Time_ns.t -> unit) option) -> yield_ivar:(([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) -> check_invariants:(([< ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> max_num_jobs_per_priority_per_cycle:(([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> Import.Max_num_jobs_per_priority_per_cycle.t) -> record_backtraces:(([< ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> t

val iter : check_access:(([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> unit) -> job_pool:(([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> unit) -> normal_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> unit) -> low_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> unit) -> main_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> unit) -> current_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> unit) -> uncaught_exn:(([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> unit) -> cycle_count:(([< ], t, int) Fieldslib.Field.t_with_perm -> unit) -> cycle_start:(([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> unit) -> run_every_cycle_start:(([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> unit) -> last_cycle_time:(([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> unit) -> last_cycle_num_jobs:(([< ], t, int) Fieldslib.Field.t_with_perm -> unit) -> time_source:(([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> unit) -> external_jobs:(([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> unit) -> thread_safe_external_job_hook:(([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> unit) -> job_queued_hook:(([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> unit) -> event_added_hook:(([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> unit) -> yield_ivar:(([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> unit) -> check_invariants:(([< ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> max_num_jobs_per_priority_per_cycle:(([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> unit) -> record_backtraces:(([< ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> unit

val fold : init:'a -> check_access:('a -> ([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> 'b) -> job_pool:('b -> ([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> 'c) -> normal_priority_jobs:('c -> ([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> 'd) -> low_priority_jobs:('d -> ([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> 'e) -> main_execution_context:('e -> ([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'f) -> current_execution_context:('f -> ([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'g) -> uncaught_exn:('g -> ([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> 'h) -> cycle_count:('h -> ([< ], t, int) Fieldslib.Field.t_with_perm -> 'i) -> cycle_start:('i -> ([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> 'j) -> run_every_cycle_start:('j -> ([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> 'k) -> last_cycle_time:('k -> ([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> 'l) -> last_cycle_num_jobs:('l -> ([< ], t, int) Fieldslib.Field.t_with_perm -> 'm) -> time_source:('m -> ([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> 'n) -> external_jobs:('n -> ([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> 'o) -> thread_safe_external_job_hook:('o -> ([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> 'p) -> job_queued_hook:('p -> ([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> 'q) -> event_added_hook:('q -> ([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> 'r) -> yield_ivar:('r -> ([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> 's) -> check_invariants:('s -> ([< ], t, bool) Fieldslib.Field.t_with_perm -> 't) -> max_num_jobs_per_priority_per_cycle:('t -> ([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> 'u) -> record_backtraces:('u -> ([< ], t, bool) Fieldslib.Field.t_with_perm -> 'v) -> 'v

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

val for_all : check_access:(([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> bool) -> job_pool:(([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> bool) -> normal_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> bool) -> low_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> bool) -> main_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> bool) -> current_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> bool) -> uncaught_exn:(([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> bool) -> cycle_count:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> cycle_start:(([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> bool) -> run_every_cycle_start:(([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> bool) -> last_cycle_time:(([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> bool) -> last_cycle_num_jobs:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> time_source:(([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> bool) -> external_jobs:(([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> bool) -> thread_safe_external_job_hook:(([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> bool) -> job_queued_hook:(([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> bool) -> event_added_hook:(([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> bool) -> yield_ivar:(([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> bool) -> check_invariants:(([< ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> max_num_jobs_per_priority_per_cycle:(([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> bool) -> record_backtraces:(([< ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool

val exists : check_access:(([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> bool) -> job_pool:(([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> bool) -> normal_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> bool) -> low_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> bool) -> main_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> bool) -> current_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> bool) -> uncaught_exn:(([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> bool) -> cycle_count:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> cycle_start:(([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> bool) -> run_every_cycle_start:(([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> bool) -> last_cycle_time:(([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> bool) -> last_cycle_num_jobs:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> time_source:(([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> bool) -> external_jobs:(([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> bool) -> thread_safe_external_job_hook:(([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> bool) -> job_queued_hook:(([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> bool) -> event_added_hook:(([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> bool) -> yield_ivar:(([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> bool) -> check_invariants:(([< ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> max_num_jobs_per_priority_per_cycle:(([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> bool) -> record_backtraces:(([< ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool

val to_list : check_access:(([< ], t, (unit -> unit) option) Fieldslib.Field.t_with_perm -> 'a) -> job_pool:(([< ], t, Job_pool.t) Fieldslib.Field.t_with_perm -> 'a) -> normal_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> 'a) -> low_priority_jobs:(([< ], t, Job_queue.t) Fieldslib.Field.t_with_perm -> 'a) -> main_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'a) -> current_execution_context:(([< ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'a) -> uncaught_exn:(([< ], t, (Core_kernel.Std.Exn.t * Core_kernel.Std.Sexp.t) option) Fieldslib.Field.t_with_perm -> 'a) -> cycle_count:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> cycle_start:(([< ], t, Import.Time_ns.t) Fieldslib.Field.t_with_perm -> 'a) -> run_every_cycle_start:(([< ], t, (unit -> unit) list) Fieldslib.Field.t_with_perm -> 'a) -> last_cycle_time:(([< ], t, Import.Time_ns.Span.t) Fieldslib.Field.t_with_perm -> 'a) -> last_cycle_num_jobs:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> time_source:(([< ], t, Core_kernel.Std.read_write Time_source.T1.t) Fieldslib.Field.t_with_perm -> 'a) -> external_jobs:(([< ], t, External_job.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> 'a) -> thread_safe_external_job_hook:(([< ], t, unit -> unit) Fieldslib.Field.t_with_perm -> 'a) -> job_queued_hook:(([< ], t, (Priority.t -> unit) option) Fieldslib.Field.t_with_perm -> 'a) -> event_added_hook:(([< ], t, (Import.Time_ns.t -> unit) option) Fieldslib.Field.t_with_perm -> 'a) -> yield_ivar:(([< ], t, unit Types.Ivar.t Core_kernel.Std.sexp_opaque option) Fieldslib.Field.t_with_perm -> 'a) -> check_invariants:(([< ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> max_num_jobs_per_priority_per_cycle:(([< ], t, Import.Max_num_jobs_per_priority_per_cycle.t) Fieldslib.Field.t_with_perm -> 'a) -> record_backtraces:(([< ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> 'a list