Module Fields

val names : string list

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

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

val tails_for_all_errors : ([< ], t, exn Types.Tail.t list) Fieldslib.Field.t_with_perm

val handlers_for_all_errors : ([< ], t, (Types.Execution_context.t * (exn -> unit)) Core_kernel.Std.Bag.t) Fieldslib.Field.t_with_perm

val next_error : ([< ], t, exn Types.Ivar.t) Fieldslib.Field.t_with_perm

val parent : ([< ], t, t option) Fieldslib.Field.t_with_perm

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

val here : ([< ], t, Core_kernel.Std.Source_code_position.t option) Fieldslib.Field.t_with_perm

val name : ([< ], t, Core_kernel.Std.Info.t) Fieldslib.Field.t_with_perm

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

val create : name:Core_kernel.Std.Info.t -> here:Core_kernel.Std.Source_code_position.t option -> id:int -> parent:t option -> 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 -> t

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

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

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

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

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

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

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