Module Configuration.Fields
val names : string listval warn_if_no_trailing_newline_in_both : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval location_style : (Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Location_style.t) Fieldslib.Field.readonly_tval next_alt : (Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_tval prev_alt : (Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_tval mask_uniques : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval double_check : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval quiet : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval shallow : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval word_big_enough : (Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_tval line_big_enough : (Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_tval context : (Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_tval assume_text : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval interleave : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval split_long_lines : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval keep_ws : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval unrefined : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval produce_unified_lines : (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_tval float_tolerance : (Patdiff_kernel__Configuration.t, Core_kernel.Percent.t option) Fieldslib.Field.readonly_tval ext_cmp : (Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_tval rules : (Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Rules.t) Fieldslib.Field.readonly_tval output : (Patdiff_kernel__Configuration.t, Patdiff_kernel.Output.t) Fieldslib.Field.readonly_tval fold : init:'acc__0 -> output:('acc__0 -> (Patdiff_kernel__Configuration.t, Patdiff_kernel.Output.t) Fieldslib.Field.readonly_t -> 'acc__1) -> rules:('acc__1 -> (Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Rules.t) Fieldslib.Field.readonly_t -> 'acc__2) -> ext_cmp:('acc__2 -> (Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> 'acc__3) -> float_tolerance:('acc__3 -> (Patdiff_kernel__Configuration.t, Core_kernel.Percent.t option) Fieldslib.Field.readonly_t -> 'acc__4) -> produce_unified_lines:('acc__4 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__5) -> unrefined:('acc__5 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__6) -> keep_ws:('acc__6 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__7) -> split_long_lines:('acc__7 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__8) -> interleave:('acc__8 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__9) -> assume_text:('acc__9 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__10) -> context:('acc__10 -> (Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> 'acc__11) -> line_big_enough:('acc__11 -> (Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> 'acc__12) -> word_big_enough:('acc__12 -> (Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> 'acc__13) -> shallow:('acc__13 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__14) -> quiet:('acc__14 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__15) -> double_check:('acc__15 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__16) -> mask_uniques:('acc__16 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__17) -> prev_alt:('acc__17 -> (Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> 'acc__18) -> next_alt:('acc__18 -> (Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> 'acc__19) -> location_style:('acc__19 -> (Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Location_style.t) Fieldslib.Field.readonly_t -> 'acc__20) -> warn_if_no_trailing_newline_in_both:('acc__20 -> (Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'acc__21) -> 'acc__21val iter : output:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Output.t) Fieldslib.Field.readonly_t -> unit) -> rules:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Rules.t) Fieldslib.Field.readonly_t -> unit) -> ext_cmp:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> unit) -> float_tolerance:((Patdiff_kernel__Configuration.t, Core_kernel.Percent.t option) Fieldslib.Field.readonly_t -> unit) -> produce_unified_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> unrefined:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> keep_ws:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> split_long_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> interleave:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> assume_text:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> context:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> unit) -> line_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> unit) -> word_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> unit) -> shallow:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> quiet:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> double_check:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> mask_uniques:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> prev_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> unit) -> next_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> unit) -> location_style:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Location_style.t) Fieldslib.Field.readonly_t -> unit) -> warn_if_no_trailing_newline_in_both:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> unit) -> unitval for_all : output:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Output.t) Fieldslib.Field.readonly_t -> bool) -> rules:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Rules.t) Fieldslib.Field.readonly_t -> bool) -> ext_cmp:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> bool) -> float_tolerance:((Patdiff_kernel__Configuration.t, Core_kernel.Percent.t option) Fieldslib.Field.readonly_t -> bool) -> produce_unified_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> unrefined:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> keep_ws:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> split_long_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> interleave:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> assume_text:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> context:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> bool) -> line_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> bool) -> word_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> bool) -> shallow:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> quiet:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> double_check:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> mask_uniques:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> prev_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> bool) -> next_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> bool) -> location_style:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Location_style.t) Fieldslib.Field.readonly_t -> bool) -> warn_if_no_trailing_newline_in_both:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> boolval exists : output:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Output.t) Fieldslib.Field.readonly_t -> bool) -> rules:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Rules.t) Fieldslib.Field.readonly_t -> bool) -> ext_cmp:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> bool) -> float_tolerance:((Patdiff_kernel__Configuration.t, Core_kernel.Percent.t option) Fieldslib.Field.readonly_t -> bool) -> produce_unified_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> unrefined:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> keep_ws:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> split_long_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> interleave:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> assume_text:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> context:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> bool) -> line_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> bool) -> word_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> bool) -> shallow:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> quiet:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> double_check:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> mask_uniques:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> prev_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> bool) -> next_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> bool) -> location_style:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Location_style.t) Fieldslib.Field.readonly_t -> bool) -> warn_if_no_trailing_newline_in_both:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> bool) -> boolval to_list : output:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Output.t) Fieldslib.Field.readonly_t -> 'elem__) -> rules:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Rules.t) Fieldslib.Field.readonly_t -> 'elem__) -> ext_cmp:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> 'elem__) -> float_tolerance:((Patdiff_kernel__Configuration.t, Core_kernel.Percent.t option) Fieldslib.Field.readonly_t -> 'elem__) -> produce_unified_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> unrefined:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> keep_ws:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> split_long_lines:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> interleave:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> assume_text:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> context:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> 'elem__) -> line_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> 'elem__) -> word_big_enough:((Patdiff_kernel__Configuration.t, int) Fieldslib.Field.readonly_t -> 'elem__) -> shallow:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> quiet:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> double_check:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> mask_uniques:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> prev_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> 'elem__) -> next_alt:((Patdiff_kernel__Configuration.t, string option) Fieldslib.Field.readonly_t -> 'elem__) -> location_style:((Patdiff_kernel__Configuration.t, Patdiff_kernel.Format.Location_style.t) Fieldslib.Field.readonly_t -> 'elem__) -> warn_if_no_trailing_newline_in_both:((Patdiff_kernel__Configuration.t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> 'elem__ listval map_poly : ([< `Read ], Patdiff_kernel__Configuration.t, 'x0) Fieldslib.Field.user -> 'x0 list