package patience_diff

  1. Overview
  2. Docs
val iter : 'a t -> prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) -> prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) -> next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) -> next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> unit) -> ranges: (('a t, 'a Range.t list) Fieldslib.Field.t -> 'a t -> 'a Range.t list -> unit) -> unit
val fold : 'a t -> init:'acc__0 -> prev_start: ('acc__0 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__1) -> prev_size: ('acc__1 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__2) -> next_start: ('acc__2 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__3) -> next_size: ('acc__3 -> ('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'acc__4) -> ranges: ('acc__4 -> ('a t, 'a Range.t list) Fieldslib.Field.t -> 'a t -> 'a Range.t list -> 'acc__5) -> 'acc__5
val for_all : 'a t -> prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> ranges: (('a t, 'a Range.t list) Fieldslib.Field.t -> 'a t -> 'a Range.t list -> bool) -> bool
val exists : 'a t -> prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> bool) -> ranges: (('a t, 'a Range.t list) Fieldslib.Field.t -> 'a t -> 'a Range.t list -> bool) -> bool
val to_list : 'a t -> prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) -> prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) -> next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) -> next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> 'elem__) -> ranges: (('a t, 'a Range.t list) Fieldslib.Field.t -> 'a t -> 'a Range.t list -> 'elem__) -> 'elem__ list
val map : 'a t -> prev_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) -> prev_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) -> next_start:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) -> next_size:(('a t, int) Fieldslib.Field.t -> 'a t -> int -> int) -> ranges: (('a t, 'a Range.t list) Fieldslib.Field.t -> 'a t -> 'a Range.t list -> 'a Range.t list) -> 'a t
val set_all_mutable_fields : 'a t -> unit