val map :
line_same:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(line_prev:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(line_next:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(line_unified:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(word_same_prev:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(word_same_next:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(word_same_unified:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(word_same_unified_in_move:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(word_prev:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(word_next:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(hunk:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(header_prev:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(header_next:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(moved_from_prev:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(moved_to_next:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(removed_in_move:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(added_in_move:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
(line_unified_in_move:((t, Rule.t) Fieldslib.Field.t -> Rule.t) @ local ->
t) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local) @ local @@ portable