Module Fields.Direct

val iter : t -> name:(([< `Read | `Set_and_create ]tCore_kernel.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Info.t -> 'a) -> here:(([< `Read | `Set_and_create ]tCore_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Source_code_position.t option -> 'b) -> id:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'c) -> parent:(([< `Read | `Set_and_create ]tt option) Fieldslib.Field.t_with_perm -> t -> t option -> 'd) -> next_error:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Ivar.t -> 'e) -> handlers_for_all_errors:(([< `Read | `Set_and_create ]t(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> 'f) -> tails_for_all_errors:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Tail.t list -> 'g) -> has_seen_error:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'h) -> is_detached:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'i) -> 'i
val fold : t -> init:'a -> name:('a -> ([< `Read | `Set_and_create ]tCore_kernel.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Info.t -> 'b) -> here:('b -> ([< `Read | `Set_and_create ]tCore_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Source_code_position.t option -> 'c) -> id:('c -> ([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'd) -> parent:('d -> ([< `Read | `Set_and_create ]tt option) Fieldslib.Field.t_with_perm -> t -> t option -> 'e) -> next_error:('e -> ([< `Read | `Set_and_create ]texn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Ivar.t -> 'f) -> handlers_for_all_errors:('f -> ([< `Read | `Set_and_create ]t(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> 'g) -> tails_for_all_errors:('g -> ([< `Read | `Set_and_create ]texn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Tail.t list -> 'h) -> has_seen_error:('h -> ([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'i) -> is_detached:('i -> ([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'j) -> 'j
val for_all : t -> name:(([< `Read | `Set_and_create ]tCore_kernel.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Info.t -> bool) -> here:(([< `Read | `Set_and_create ]tCore_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Source_code_position.t option -> bool) -> id:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> parent:(([< `Read | `Set_and_create ]tt option) Fieldslib.Field.t_with_perm -> t -> t option -> bool) -> next_error:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Ivar.t -> bool) -> handlers_for_all_errors:(([< `Read | `Set_and_create ]t(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> bool) -> tails_for_all_errors:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Tail.t list -> bool) -> has_seen_error:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> is_detached:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> bool
val exists : t -> name:(([< `Read | `Set_and_create ]tCore_kernel.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Info.t -> bool) -> here:(([< `Read | `Set_and_create ]tCore_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Source_code_position.t option -> bool) -> id:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> parent:(([< `Read | `Set_and_create ]tt option) Fieldslib.Field.t_with_perm -> t -> t option -> bool) -> next_error:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Ivar.t -> bool) -> handlers_for_all_errors:(([< `Read | `Set_and_create ]t(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> bool) -> tails_for_all_errors:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Tail.t list -> bool) -> has_seen_error:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> is_detached:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> bool
val to_list : t -> name:(([< `Read | `Set_and_create ]tCore_kernel.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Info.t -> 'a) -> here:(([< `Read | `Set_and_create ]tCore_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Source_code_position.t option -> 'a) -> id:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> parent:(([< `Read | `Set_and_create ]tt option) Fieldslib.Field.t_with_perm -> t -> t option -> 'a) -> next_error:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Ivar.t -> 'a) -> handlers_for_all_errors:(([< `Read | `Set_and_create ]t(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> 'a) -> tails_for_all_errors:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Tail.t list -> 'a) -> has_seen_error:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'a) -> is_detached:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'a) -> 'a list
val map : t -> name:(([< `Read | `Set_and_create ]tCore_kernel.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Info.t -> Core_kernel.Info.t) -> here:(([< `Read | `Set_and_create ]tCore_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Source_code_position.t option -> Core_kernel.Source_code_position.t option) -> id:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> parent:(([< `Read | `Set_and_create ]tt option) Fieldslib.Field.t_with_perm -> t -> t option -> t option) -> next_error:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Ivar.t -> exn Async_kernel__.Types.Ivar.t) -> handlers_for_all_errors:(([< `Read | `Set_and_create ]t(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) -> tails_for_all_errors:(([< `Read | `Set_and_create ]texn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Async_kernel__.Types.Tail.t list -> exn Async_kernel__.Types.Tail.t list) -> has_seen_error:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> is_detached:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> t
val set_all_mutable_fields : t -> next_error:exn Async_kernel__.Types.Ivar.t -> handlers_for_all_errors:(Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> tails_for_all_errors:exn Async_kernel__.Types.Tail.t list -> has_seen_error:bool -> is_detached:bool -> unit