package jenga

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val gc : ([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm
val sandbox_actions : ([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm
val no_fs_triggers : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val no_notifiers : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val goals : ([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm
val no_server : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val brief_error_summary : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val path_to_jenga_conf : ([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm
val dont_emit_kill_line : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val progress : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val report_long_cycle_times : ([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm
val prefix_time : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_error_dependency_paths : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_trace_messages : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_reconsidering : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_considering : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_reflecting : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_checked : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_actions_run_verbose : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_actions_run : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val show_memory_allocations : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val verbose : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val poll_forever : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val stop_on_first_error : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val tenacious_concurrency : ([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm
val d_number : ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm
val f_number : ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm
val j_number : ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm
val make_creator : j_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a -> ('b -> int) * 'c) -> f_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'c -> ('b -> int) * 'd) -> d_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'd -> ('b -> int) * 'e) -> tenacious_concurrency: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> 'e -> ('b -> int option) * 'f) -> stop_on_first_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'f -> ('b -> bool) * 'g) -> poll_forever: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'g -> ('b -> bool) * 'h) -> verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'h -> ('b -> bool) * 'i) -> show_memory_allocations: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'i -> ('b -> bool) * 'j) -> show_actions_run: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'j -> ('b -> bool) * 'k) -> show_actions_run_verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'k -> ('b -> bool) * 'l) -> show_checked: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'l -> ('b -> bool) * 'm) -> show_reflecting: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'm -> ('b -> bool) * 'n) -> show_considering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'n -> ('b -> bool) * 'o) -> show_reconsidering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'o -> ('b -> bool) * 'p) -> show_trace_messages: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'p -> ('b -> bool) * 'q) -> show_error_dependency_paths: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'q -> ('b -> bool) * 'r) -> prefix_time: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'r -> ('b -> bool) * 's) -> report_long_cycle_times: (([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> 's -> ('b -> Core.Time.Span.t option) * 't) -> progress: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 't -> ('b -> bool) * 'u) -> dont_emit_kill_line: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'u -> ('b -> bool) * 'v) -> path_to_jenga_conf: (([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> 'v -> ('b -> string option) * 'w) -> brief_error_summary: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'w -> ('b -> bool) * 'x) -> no_server: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'x -> ('b -> bool) * 'y) -> goals: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> 'y -> ('b -> string list) * 'z) -> no_notifiers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'z -> ('b -> bool) * 'a1) -> no_fs_triggers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a1 -> ('b -> bool) * 'b1) -> sandbox_actions: (([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> 'b1 -> ('b -> Db.Sandbox_kind.t) * 'c1) -> gc: (([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> 'c1 -> ('b -> Gc.t) * 'd1) -> 'a -> ('b -> t) * 'd1
val create : j_number:int -> f_number:int -> d_number:int -> tenacious_concurrency:int option -> stop_on_first_error:bool -> poll_forever:bool -> verbose:bool -> show_memory_allocations:bool -> show_actions_run:bool -> show_actions_run_verbose:bool -> show_checked:bool -> show_reflecting:bool -> show_considering:bool -> show_reconsidering:bool -> show_trace_messages:bool -> show_error_dependency_paths:bool -> prefix_time:bool -> report_long_cycle_times:Core.Time.Span.t option -> progress:bool -> dont_emit_kill_line:bool -> path_to_jenga_conf:string option -> brief_error_summary:bool -> no_server:bool -> goals:string list -> no_notifiers:bool -> no_fs_triggers:bool -> sandbox_actions:Db.Sandbox_kind.t -> gc:Gc.t -> t
val map : j_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) -> f_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) -> d_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) -> tenacious_concurrency: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> int option) -> stop_on_first_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> poll_forever: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_memory_allocations: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_actions_run: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_actions_run_verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_checked: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_reflecting: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_considering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_reconsidering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_trace_messages: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_error_dependency_paths: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> prefix_time: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> report_long_cycle_times: (([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> Core.Time.Span.t option) -> progress: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> dont_emit_kill_line: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> path_to_jenga_conf: (([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> string option) -> brief_error_summary: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> no_server: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> goals: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> string list) -> no_notifiers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> no_fs_triggers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> sandbox_actions: (([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> Db.Sandbox_kind.t) -> gc: (([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> Gc.t) -> t
val iter : j_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> unit) -> f_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> unit) -> d_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> unit) -> tenacious_concurrency: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> unit) -> stop_on_first_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> poll_forever: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_memory_allocations: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_actions_run: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_actions_run_verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_checked: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_reflecting: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_considering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_reconsidering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_trace_messages: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> show_error_dependency_paths: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> prefix_time: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> report_long_cycle_times: (([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> unit) -> progress: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> dont_emit_kill_line: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> path_to_jenga_conf: (([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> unit) -> brief_error_summary: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> no_server: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> goals: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> unit) -> no_notifiers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> no_fs_triggers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> sandbox_actions: (([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> unit) -> gc: (([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> j_number: ('a -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'b) -> f_number: ('b -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'c) -> d_number: ('c -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'd) -> tenacious_concurrency: ('d -> ([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> 'e) -> stop_on_first_error: ('e -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'f) -> poll_forever: ('f -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'g) -> verbose: ('g -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'h) -> show_memory_allocations: ('h -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'i) -> show_actions_run: ('i -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'j) -> show_actions_run_verbose: ('j -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'k) -> show_checked: ('k -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'l) -> show_reflecting: ('l -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'm) -> show_considering: ('m -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'n) -> show_reconsidering: ('n -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'o) -> show_trace_messages: ('o -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'p) -> show_error_dependency_paths: ('p -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'q) -> prefix_time: ('q -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'r) -> report_long_cycle_times: ('r -> ([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> 's) -> progress: ('s -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 't) -> dont_emit_kill_line: ('t -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'u) -> path_to_jenga_conf: ('u -> ([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> 'v) -> brief_error_summary: ('v -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'w) -> no_server: ('w -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'x) -> goals: ('x -> ([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> 'y) -> no_notifiers: ('y -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'z) -> no_fs_triggers: ('z -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a1) -> sandbox_actions: ('a1 -> ([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> 'b1) -> gc: ('b1 -> ([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> 'c1) -> 'c1
val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'a list
val for_all : j_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> f_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> d_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> tenacious_concurrency: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> bool) -> stop_on_first_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> poll_forever: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_memory_allocations: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_actions_run: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_actions_run_verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_checked: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_reflecting: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_considering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_reconsidering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_trace_messages: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_error_dependency_paths: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> prefix_time: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> report_long_cycle_times: (([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> bool) -> progress: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> dont_emit_kill_line: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> path_to_jenga_conf: (([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> bool) -> brief_error_summary: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> no_server: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> goals: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> bool) -> no_notifiers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> no_fs_triggers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> sandbox_actions: (([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> bool) -> gc: (([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : j_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> f_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> d_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> tenacious_concurrency: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> bool) -> stop_on_first_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> poll_forever: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_memory_allocations: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_actions_run: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_actions_run_verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_checked: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_reflecting: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_considering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_reconsidering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_trace_messages: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> show_error_dependency_paths: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> prefix_time: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> report_long_cycle_times: (([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> bool) -> progress: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> dont_emit_kill_line: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> path_to_jenga_conf: (([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> bool) -> brief_error_summary: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> no_server: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> goals: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> bool) -> no_notifiers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> no_fs_triggers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> sandbox_actions: (([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> bool) -> gc: (([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : j_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> f_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> d_number: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> tenacious_concurrency: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> 'a) -> stop_on_first_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> poll_forever: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_memory_allocations: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_actions_run: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_actions_run_verbose: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_checked: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_reflecting: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_considering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_reconsidering: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_trace_messages: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> show_error_dependency_paths: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> prefix_time: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> report_long_cycle_times: (([< `Read | `Set_and_create ], t, Core.Time.Span.t option) Fieldslib.Field.t_with_perm -> 'a) -> progress: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> dont_emit_kill_line: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> path_to_jenga_conf: (([< `Read | `Set_and_create ], t, string option) Fieldslib.Field.t_with_perm -> 'a) -> brief_error_summary: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> no_server: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> goals: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> 'a) -> no_notifiers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> no_fs_triggers: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> sandbox_actions: (([< `Read | `Set_and_create ], t, Db.Sandbox_kind.t) Fieldslib.Field.t_with_perm -> 'a) -> gc: (([< `Read | `Set_and_create ], t, Gc.t) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
module Direct : sig ... end