Module Diffast_misc.Mapping

val sprintf : ('a, unit, string) format -> 'a
type elem = Otree.index * Otree.index
val mkelem : (Otree.index * Otree.index) -> elem
val elem_to_string : (int * int) -> string
type t = elem list
val of_elem_list : elem list -> t
val length : 'a list -> int
val empty : 'a list
val mem : 'a -> ('a * 'b) list -> bool
val mem_elem : 'a -> 'b -> ('a * 'b) list -> bool
val find_list : 'a -> ('a * 'b) list -> 'b list
val find : 'a -> ('a * 'b) list -> 'b
val inv : ('a * 'b) list -> ('b * 'a) list
val inv_find : 'a -> ('b * 'a) list -> 'b
val dom : ('a * 'b) list -> 'a list
val cod : ('a * 'b) list -> 'b list
val iter : ('a -> 'b -> unit) -> ('a * 'b) list -> unit
val filter : ('a -> 'b -> bool) -> ('a * 'b) list -> ('a * 'b) list
val split : ('a * 'b) list -> 'a list * 'b list
val add : 'a -> 'a list -> 'a list
val append : 'a list -> 'a list -> 'a list
val descent_sort : ('a * 'b) list -> ('a * 'b) list
val _to_string : ('a -> string) -> ('b -> string) -> ('a * 'b) list -> string
val to_string : (int * int) list -> string