Module Direct

val iter : t -> name:(([< ], t, Core_kernel.Std.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Std.Info.t -> unit) -> here:(([< ], t, Core_kernel.Std.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Std.Source_code_position.t option -> unit) -> id:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> parent:(([< ], t, t option) Fieldslib.Field.t_with_perm -> t -> t option -> unit) -> next_error:(([< ], t, exn Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Types.Ivar.t -> unit) -> handlers_for_all_errors:(([< ], t, (Types.Execution_context.t * (exn -> unit)) Core_kernel.Std.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Types.Execution_context.t * (exn -> unit)) Core_kernel.Std.Bag.t -> unit) -> tails_for_all_errors:(([< ], t, exn Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Types.Tail.t list -> unit) -> has_seen_error:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> unit) -> is_detached:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'a) -> 'a

val fold : t -> init:'a -> name:('a -> ([< ], t, Core_kernel.Std.Info.t) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Std.Info.t -> 'b) -> here:('b -> ([< ], t, Core_kernel.Std.Source_code_position.t option) Fieldslib.Field.t_with_perm -> t -> Core_kernel.Std.Source_code_position.t option -> 'c) -> id:('c -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'd) -> parent:('d -> ([< ], t, t option) Fieldslib.Field.t_with_perm -> t -> t option -> 'e) -> next_error:('e -> ([< ], t, exn Types.Ivar.t) Fieldslib.Field.t_with_perm -> t -> exn Types.Ivar.t -> 'f) -> handlers_for_all_errors:('f -> ([< ], t, (Types.Execution_context.t * (exn -> unit)) Core_kernel.Std.Bag.t) Fieldslib.Field.t_with_perm -> t -> (Types.Execution_context.t * (exn -> unit)) Core_kernel.Std.Bag.t -> 'g) -> tails_for_all_errors:('g -> ([< ], t, exn Types.Tail.t list) Fieldslib.Field.t_with_perm -> t -> exn Types.Tail.t list -> 'h) -> has_seen_error:('h -> ([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'i) -> is_detached:('i -> ([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'j) -> 'j

val set_all_mutable_fields : t -> next_error:exn Types.Ivar.t -> handlers_for_all_errors:(Types.Execution_context.t * (exn -> unit)) Core_kernel.Std.Bag.t -> tails_for_all_errors:exn Types.Tail.t list -> has_seen_error:bool -> is_detached:bool -> unit