Module Fields

val names : string list

val warn_if_no_trailing_newline_in_both : (t, bool) Fieldslib.Field.readonly_t

val location_style : (t, Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t

val new_alt : (t, string option) Fieldslib.Field.readonly_t

val old_alt : (t, string option) Fieldslib.Field.readonly_t

val mask_uniques : (t, bool) Fieldslib.Field.readonly_t

val double_check : (t, bool) Fieldslib.Field.readonly_t

val quiet : (t, bool) Fieldslib.Field.readonly_t

val shallow : (t, bool) Fieldslib.Field.readonly_t

val context : (t, int) Fieldslib.Field.readonly_t

val split_long_lines : (t, bool) Fieldslib.Field.readonly_t

val keep_ws : (t, bool) Fieldslib.Field.readonly_t

val unrefined : (t, bool) Fieldslib.Field.readonly_t

val produce_unified_lines : (t, bool) Fieldslib.Field.readonly_t

val ext_cmp : (t, string option) Fieldslib.Field.readonly_t

val rules : (t, Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t

val output : (t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t

val fold : init:'acc__ -> output:('acc__ -> (t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> 'acc__) -> rules:('acc__ -> (t, Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> 'acc__) -> ext_cmp:('acc__ -> (t, string option) Fieldslib.Field.readonly_t -> 'acc__) -> produce_unified_lines:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> unrefined:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> keep_ws:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> split_long_lines:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> context:('acc__ -> (t, int) Fieldslib.Field.readonly_t -> 'acc__) -> shallow:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> quiet:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> double_check:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> mask_uniques:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> old_alt:('acc__ -> (t, string option) Fieldslib.Field.readonly_t -> 'acc__) -> new_alt:('acc__ -> (t, string option) Fieldslib.Field.readonly_t -> 'acc__) -> location_style:('acc__ -> (t, Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> 'acc__) -> warn_if_no_trailing_newline_in_both:('acc__ -> (t, bool) Fieldslib.Field.readonly_t -> 'acc__) -> 'acc__

val iter : output:((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> unit) -> rules:((t, Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> unit) -> ext_cmp:((t, string option) Fieldslib.Field.readonly_t -> unit) -> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t -> unit) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> unit) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> unit) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> unit) -> context:((t, int) Fieldslib.Field.readonly_t -> unit) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> unit) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> unit) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> unit) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> unit) -> old_alt:((t, string option) Fieldslib.Field.readonly_t -> unit) -> new_alt:((t, string option) Fieldslib.Field.readonly_t -> unit) -> location_style:((t, Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> unit) -> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t -> unit) -> unit

val for_all : output:((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> bool) -> rules:((t, Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> bool) -> ext_cmp:((t, string option) Fieldslib.Field.readonly_t -> bool) -> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t -> bool) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> bool) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> bool) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> bool) -> context:((t, int) Fieldslib.Field.readonly_t -> bool) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> bool) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> bool) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> bool) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> bool) -> old_alt:((t, string option) Fieldslib.Field.readonly_t -> bool) -> new_alt:((t, string option) Fieldslib.Field.readonly_t -> bool) -> location_style:((t, Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> bool) -> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t -> bool) -> bool

val exists : output:((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> bool) -> rules:((t, Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> bool) -> ext_cmp:((t, string option) Fieldslib.Field.readonly_t -> bool) -> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t -> bool) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> bool) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> bool) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> bool) -> context:((t, int) Fieldslib.Field.readonly_t -> bool) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> bool) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> bool) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> bool) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> bool) -> old_alt:((t, string option) Fieldslib.Field.readonly_t -> bool) -> new_alt:((t, string option) Fieldslib.Field.readonly_t -> bool) -> location_style:((t, Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> bool) -> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t -> bool) -> bool

val to_list : output:((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> 'elem__) -> rules:((t, Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> 'elem__) -> ext_cmp:((t, string option) Fieldslib.Field.readonly_t -> 'elem__) -> produce_unified_lines:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> context:((t, int) Fieldslib.Field.readonly_t -> 'elem__) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> old_alt:((t, string option) Fieldslib.Field.readonly_t -> 'elem__) -> new_alt:((t, string option) Fieldslib.Field.readonly_t -> 'elem__) -> location_style:((t, Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> 'elem__) -> warn_if_no_trailing_newline_in_both:((t, bool) Fieldslib.Field.readonly_t -> 'elem__) -> 'elem__ list

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