package diffast-core

  1. Overview
  2. Docs
package diffast-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Diffast_core.Flattreediff

module Xarray = Diffast_misc.Xarray
module Xlist = Diffast_misc.Xlist
module UID = Diffast_misc.UID
module Edit = Diffast_misc.Edit
module Mapping = Diffast_misc.Mapping
val sprintf : ('a, unit, string) format -> 'a
val eliminate_duplication : ('a * 'b) list -> ('a * 'b) list
val find_glue_cands : (< data : < _label : 'b ; equals : (< _label : 'b.. > as 'c) -> bool.. >.. > as 'a) list -> (< data : 'c.. > as 'd) list -> ('a * 'e) list
val find : ?rely_on_rel:bool -> < get : int -> < children : < data : < feature : 'b.. >.. > array ; data : < _label : 'c ; equals : (< _label : 'c ; label : 'e.. > as 'd) -> bool ; label : 'e.. > ; index : Diffast_misc.Otree.index ; is_collapsed : bool.. > as 'a ; root : 'a.. > -> < get : int -> < children : < data : < feature : 'b.. >.. > array ; data : 'd ; index : Diffast_misc.Otree.index ; is_collapsed : bool.. > as 'f ; root : 'f.. > -> Edit.seq * Mapping.t * Diffast_misc.Otree.index list