Module Patdiff_lib.Configuration.Fields.Direct

val iter : t ‑> output:((tPatdiff_core.Output.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Output.t ‑> unit) ‑> rules:((tPatdiff_core.Format.Rules.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Rules.t ‑> unit) ‑> ext_cmp:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> unit) ‑> float_tolerance:((tCore.Percent.t option) Fieldslib.Field.readonly_t ‑> t ‑> Core.Percent.t option ‑> unit) ‑> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> unrefined:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> keep_ws:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> split_long_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> interleave:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> assume_text:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> context:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> unit) ‑> line_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> unit) ‑> word_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> unit) ‑> shallow:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> quiet:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> double_check:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> mask_uniques:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> old_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> unit) ‑> new_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> unit) ‑> location_style:((tPatdiff_core.Format.Location_style.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Location_style.t ‑> unit) ‑> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> unit) ‑> unit
val fold : t ‑> init:'acc__0 ‑> output:('acc__0 ‑> (tPatdiff_core.Output.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Output.t ‑> 'acc__1) ‑> rules:('acc__1 ‑> (tPatdiff_core.Format.Rules.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Rules.t ‑> 'acc__2) ‑> ext_cmp:('acc__2 ‑> (t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> 'acc__3) ‑> float_tolerance:('acc__3 ‑> (tCore.Percent.t option) Fieldslib.Field.readonly_t ‑> t ‑> Core.Percent.t option ‑> 'acc__4) ‑> produce_unified_lines:('acc__4 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__5) ‑> unrefined:('acc__5 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__6) ‑> keep_ws:('acc__6 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__7) ‑> split_long_lines:('acc__7 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__8) ‑> interleave:('acc__8 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__9) ‑> assume_text:('acc__9 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__10) ‑> context:('acc__10 ‑> (t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> 'acc__11) ‑> line_big_enough:('acc__11 ‑> (t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> 'acc__12) ‑> word_big_enough:('acc__12 ‑> (t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> 'acc__13) ‑> shallow:('acc__13 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__14) ‑> quiet:('acc__14 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__15) ‑> double_check:('acc__15 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__16) ‑> mask_uniques:('acc__16 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__17) ‑> old_alt:('acc__17 ‑> (t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> 'acc__18) ‑> new_alt:('acc__18 ‑> (t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> 'acc__19) ‑> location_style:('acc__19 ‑> (tPatdiff_core.Format.Location_style.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Location_style.t ‑> 'acc__20) ‑> warn_if_no_trailing_newline_in_both:('acc__20 ‑> (t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'acc__21) ‑> 'acc__21
val for_all : t ‑> output:((tPatdiff_core.Output.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Output.t ‑> bool) ‑> rules:((tPatdiff_core.Format.Rules.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Rules.t ‑> bool) ‑> ext_cmp:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> bool) ‑> float_tolerance:((tCore.Percent.t option) Fieldslib.Field.readonly_t ‑> t ‑> Core.Percent.t option ‑> bool) ‑> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> unrefined:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> keep_ws:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> split_long_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> interleave:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> assume_text:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> context:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> bool) ‑> line_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> bool) ‑> word_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> bool) ‑> shallow:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> quiet:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> double_check:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> mask_uniques:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> old_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> bool) ‑> new_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> bool) ‑> location_style:((tPatdiff_core.Format.Location_style.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Location_style.t ‑> bool) ‑> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> bool
val exists : t ‑> output:((tPatdiff_core.Output.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Output.t ‑> bool) ‑> rules:((tPatdiff_core.Format.Rules.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Rules.t ‑> bool) ‑> ext_cmp:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> bool) ‑> float_tolerance:((tCore.Percent.t option) Fieldslib.Field.readonly_t ‑> t ‑> Core.Percent.t option ‑> bool) ‑> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> unrefined:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> keep_ws:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> split_long_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> interleave:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> assume_text:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> context:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> bool) ‑> line_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> bool) ‑> word_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> bool) ‑> shallow:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> quiet:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> double_check:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> mask_uniques:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> old_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> bool) ‑> new_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> bool) ‑> location_style:((tPatdiff_core.Format.Location_style.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Location_style.t ‑> bool) ‑> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> bool) ‑> bool
val to_list : t ‑> output:((tPatdiff_core.Output.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Output.t ‑> 'elem__) ‑> rules:((tPatdiff_core.Format.Rules.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Rules.t ‑> 'elem__) ‑> ext_cmp:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> 'elem__) ‑> float_tolerance:((tCore.Percent.t option) Fieldslib.Field.readonly_t ‑> t ‑> Core.Percent.t option ‑> 'elem__) ‑> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> unrefined:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> keep_ws:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> split_long_lines:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> interleave:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> assume_text:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> context:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> 'elem__) ‑> line_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> 'elem__) ‑> word_big_enough:((t, int) Fieldslib.Field.readonly_t ‑> t ‑> int ‑> 'elem__) ‑> shallow:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> quiet:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> double_check:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> mask_uniques:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> old_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> 'elem__) ‑> new_alt:((t, string option) Fieldslib.Field.readonly_t ‑> t ‑> string option ‑> 'elem__) ‑> location_style:((tPatdiff_core.Format.Location_style.tFieldslib.Field.readonly_t ‑> t ‑> Patdiff_core.Format.Location_style.t ‑> 'elem__) ‑> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t ‑> t ‑> bool ‑> 'elem__) ‑> 'elem__ list