package diffast-misc

  1. Overview
  2. Docs

Module Diffast_misc.Edit

val sprintf : ('a, unit, string) format -> 'a
type t =
  1. | Relabel of Otree.index * Otree.index
  2. | Delete of Otree.index
  3. | Insert of Otree.index * Otree.index list ref
val mkrel : (Otree.index * Otree.index) -> t
val mkdel : Otree.index -> t
val mkins : Otree.index -> t
val isrel : t -> bool
val isdel : t -> bool
val isins : t -> bool
val get_del_idx : t -> Otree.index
val get_rel_idx1 : t -> Otree.index
val _to_string : (Otree.index -> string) -> (Otree.index -> string) -> t -> string
val to_string : t -> string
type seq = t list
val empty_seq : seq
val seq_of_edit_list : t list -> seq
val seq_add : 'a -> 'a list -> 'a list
val seq_append : 'a list -> 'a list -> 'a list
val normalize_seq : t list -> t list
val seq_iter : ('a -> unit) -> 'a list -> unit
val _seq_to_string : (Otree.index -> string) -> (Otree.index -> string) -> t list -> string
val seq_to_string : t list -> string
val seq_length : 'a list -> int
val seq_map : ('a -> 'b) -> 'a list -> 'b list
val seq_filter : ('a -> bool) -> 'a list -> 'a list
val seq_filter_inserts : (Otree.index -> bool) -> t list -> Otree.index list
val seq_filter_deletes : (Otree.index -> bool) -> t list -> Otree.index list
val seq_filter_relabels : ((Otree.index * Otree.index) -> bool) -> t list -> (Otree.index * Otree.index) list
val seq_split : t list -> Otree.index list * Otree.index list * (Otree.index * Otree.index) list