diffast-core 0.1.1 · OCaml Package

constraint 'b = Diffast_core.Node_mapping.Nodetbl.key


  constraint
    'c =
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
      Diffast_core.Delta_common.SB.tree_t_shared

val mutable edits : Diffast_core.Spec.node_data_t t list

val mutable _filter : Diffast_core.Spec.node_data_t t -> bool

val filt_blacklist : Diffast_core.Spec.node_data_t
                       Diffast_core.Delta_common.node_t
                       Diffast_core.Delta_base.Xset.t

val staying_moves : Diffast_core.Delta_base.MID.t
                      Diffast_core.Delta_base.Xset.t

val remote_stable_tbl : (Diffast_core.Delta_base.MID.t,
                          (Diffast_core.Spec.node_data_t
                             Diffast_core.Delta_common.node_t
                           * Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t
                               list)
                            list
                          * (Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t
                             * Diffast_core.Spec.node_data_t
                                 Diffast_core.Delta_common.node_t
                                 list)
                              list)
                          Hashtbl.t

val edit_tbl1 : (Diffast_misc.UID.t,
                  Diffast_core.Delta_common.SB.node_data_t_shared t list)
                  Hashtbl.t

val edit_tbl2 : (Diffast_misc.UID.t, 'f t list) Hashtbl.t

val mutable stid_count : Diffast_core.Delta_base.subtree_id

val stid_tbl : (Diffast_misc.UID.t, Diffast_core.Delta_base.subtree_id)
                 Hashtbl.t

val excluded_nodes : Diffast_core.Spec.node_data_t
                       Diffast_core.Delta_common.node_t
                       Diffast_core.Delta_base.Xset.t

val st_tbl : (Diffast_core.Delta_base.subtree_id,
               Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
               * Diffast_core.Spec.node_data_t
                   Diffast_core.Delta_common.SB.Otree.node2
                   list
               * int)
               Hashtbl.t

val mid_tbl : (Diffast_core.Delta_base.subtree_id,
                Diffast_core.Delta_base.MID.t)
                Hashtbl.t

val rev_mid_tbl1 : (Diffast_core.Delta_base.MID.t,
                     Diffast_core.Delta_base.subtree_id)
                     Hashtbl.t

val rev_mid_tbl2 : (Diffast_core.Delta_base.MID.t,
                     Diffast_core.Delta_base.subtree_id)
                     Hashtbl.t

val pos_cache : (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t,
                  int)
                  Hashtbl.t

val lift_tbl1 : (Diffast_misc.Path.t * Diffast_core.Delta_base.Path.t,
                  Diffast_core.Delta_base.Path.t
                  * Diffast_core.Delta_base.subtree_key
                  * int)
                  Hashtbl.t

val lift_tbl2 : (Diffast_misc.Path.t * Diffast_core.Delta_base.Path.t,
                  Diffast_core.Delta_base.Path.t
                  * Diffast_core.Delta_base.subtree_key
                  * int)
                  Hashtbl.t

val edit_parent_tbl1 : (Diffast_core.Delta_base.subtree_key,
                         Diffast_core.Delta_base.subtree_key)
                         Hashtbl.t

val edit_parent_tbl2 : (Diffast_core.Delta_base.subtree_key,
                         Diffast_core.Delta_base.subtree_key)
                         Hashtbl.t

val lifted_nodes1 : Diffast_core.Spec.node_data_t
                      Diffast_core.Delta_common.node_t
                      Diffast_core.Delta_base.Xset.t

val lifted_nodes2 : Diffast_core.Spec.node_data_t
                      Diffast_core.Delta_common.node_t
                      Diffast_core.Delta_base.Xset.t

val mem_pos_tbl : (Diffast_core.Spec.node_data_t
                     Diffast_core.Delta_common.node_t,
                    int)
                    Hashtbl.t

val intermediate_pos_tbl1 : (Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t,
                              int)
                              Hashtbl.t

val intermediate_ofs_tbl1 : (Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t,
                              int)
                              Hashtbl.t

val intermediate_pos_tbl2 : (Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t,
                              int)
                              Hashtbl.t

val intermediate_ofs_tbl2 : (Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t,
                              int)
                              Hashtbl.t

val intermediate_parent_tbl1 : (Diffast_core.Spec.node_data_t
                                  Diffast_core.Delta_common.node_t,
                                 Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t)
                                 Hashtbl.t

val intermediate_parent_tbl2 : (Diffast_core.Spec.node_data_t
                                  Diffast_core.Delta_common.node_t,
                                 Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t)
                                 Hashtbl.t

val key_opt_cache : (Diffast_misc.UID.t,
                      Diffast_core.Delta_base.subtree_key option)
                      Hashtbl.t

val is_upward_staying_move_cache : ('c Diffast_core.Delta_common.tree_t
                                    * Diffast_core.Delta_base.MID.t,
                                     Diffast_core.Spec.node_data_t
                                       Diffast_core.Delta_common.node_t
                                       list
                                     * Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t
                                         list
                                     * bool)
                                     Hashtbl.t

val parent_staying_move_tbl1 : (Diffast_core.Delta_base.MID.t,
                                 Diffast_core.Delta_base.MID.t)
                                 Hashtbl.t

val parent_staying_move_tbl2 : (Diffast_core.Delta_base.MID.t,
                                 Diffast_core.Delta_base.MID.t)
                                 Hashtbl.t

val common_ancestor_tbl : (Diffast_misc.UID.t list,
                            Diffast_core.Spec.node_data_t
                              Diffast_core.Delta_common.node_t
                            * (Diffast_core.Spec.node_data_t
                                 Diffast_core.Delta_common.SB.Otree.node2
                               * Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t
                                   list)
                                list)
                            Hashtbl.t

val keys_with_changed_sub_path : Diffast_core.Delta_base.subtree_key
                                   Diffast_core.Delta_base.Xset.t

val nodes_to_be_lifted_tbl : (Diffast_core.Spec.node_data_t
                                Diffast_core.Delta_common.node_t,
                               Diffast_core.Delta_base.subtree_key option)
                               Hashtbl.t

val upstream_keys1 : Diffast_core.Delta_base.subtree_key
                       Diffast_core.Delta_base.Xset.t

val upstream_keys2 : Diffast_core.Delta_base.subtree_key
                       Diffast_core.Delta_base.Xset.t

val canceled_stable_nodes1 : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t
                               Diffast_core.Delta_base.Xset.t

val canceled_stable_nodes2 : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t
                               Diffast_core.Delta_base.Xset.t

val pre_canceled_stable_nodes1 : Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t
                                   Diffast_core.Delta_base.Xset.t

val pre_canceled_stable_nodes2 : Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t
                                   Diffast_core.Delta_base.Xset.t

val locked_stable_nodes1 : Diffast_core.Spec.node_data_t
                             Diffast_core.Delta_common.node_t
                             Diffast_core.Delta_base.Xset.t

val locked_stable_nodes2 : Diffast_core.Spec.node_data_t
                             Diffast_core.Delta_common.node_t
                             Diffast_core.Delta_base.Xset.t

val comp_cand_tbl : (Diffast_core.Spec.node_data_t
                       Diffast_core.Delta_common.node_t,
                      Diffast_core.Spec.node_data_t
                        Diffast_core.Delta_common.node_t
                        list)
                      Hashtbl.t

val walls : (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t,
              Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
                option)
              Hashtbl.t

val quasi_walls : (Diffast_core.Spec.node_data_t
                     Diffast_core.Delta_common.node_t,
                    Diffast_core.Spec.node_data_t
                      Diffast_core.Delta_common.node_t
                      option)
                    Hashtbl.t

val simple_ins_roots1 : Diffast_core.Spec.node_data_t
                          Diffast_core.Delta_common.SB.Otree.node2
                          Diffast_core.Delta_base.Xset.t

val simple_ins_roots2 : Diffast_core.Spec.node_data_t
                          Diffast_core.Delta_common.SB.Otree.node2
                          Diffast_core.Delta_base.Xset.t

val pre_anc1to_tbl : (Diffast_core.Delta_base.subtree_key,
                       Diffast_core.Spec.node_data_t
                         Diffast_core.Delta_common.node_t)
                       Hashtbl.t

val pre_anc2to_tbl : (Diffast_core.Delta_base.subtree_key,
                       Diffast_core.Spec.node_data_t
                         Diffast_core.Delta_common.node_t)
                       Hashtbl.t

val anc1to_tbl : (Diffast_core.Delta_base.subtree_key,
                   Diffast_core.Spec.node_data_t
                     Diffast_core.Delta_common.node_t
                   * (Diffast_core.Delta_base.path_c
                      * Diffast_core__Delta_base.boundary))
                   Hashtbl.t

val anc2to_tbl : (Diffast_core.Delta_base.subtree_key,
                   Diffast_core.Spec.node_data_t
                     Diffast_core.Delta_common.node_t
                   * (Diffast_core.Delta_base.path_c
                      * Diffast_core__Delta_base.boundary))
                   Hashtbl.t

val rev_anc1to_tbl : (Diffast_core.Spec.node_data_t
                        Diffast_core.Delta_common.SB.Otree.node2
                      * int,
                       Diffast_core.Delta_base.subtree_key list)
                       Hashtbl.t

val rev_anc2to_tbl : (Diffast_core.Spec.node_data_t
                        Diffast_core.Delta_common.SB.Otree.node2
                      * int,
                       Diffast_core.Delta_base.subtree_key list)
                       Hashtbl.t

val parent_key_tbl1 : (Diffast_core.Delta_base.subtree_key,
                        (Diffast_core.Delta_base.subtree_key,
                          Diffast_core.Delta_base.Path.t list)
                          Hashtbl.t)
                        Hashtbl.t

val parent_key_tbl2 : (Diffast_core.Delta_base.subtree_key,
                        (Diffast_core.Delta_base.subtree_key,
                          Diffast_core.Delta_base.Path.t list)
                          Hashtbl.t)
                        Hashtbl.t

val parent_spec_tbl : (Diffast_core.Spec.node_data_t
                         Diffast_core.Delta_common.node_t,
                        Diffast_core.Delta_base.subtree_key option
                        * int
                        * Diffast_core.Delta_base.Path.t option)
                        Hashtbl.t

val mutable deferred_checks : (unit -> unit) list

val forced_upstream_nodes : Diffast_core.Spec.node_data_t
                              Diffast_core.Delta_common.node_t
                              Diffast_core.Delta_base.Xset.t

val movins_tbl : (move_id,
                   Diffast_core.Spec.node_data_t
                     Diffast_core.Delta_common.SB.Otree.node2
                   * Diffast_core.Delta_base.path_c
                   * Diffast_core__Delta_base.boundary
                   * bool
                   * Diffast_core.Delta_base.subtree_key option
                   * int option
                   * int option
                   * int option)
                   Hashtbl.t

val group_tbl : (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t,
                  Diffast_core.Spec.node_data_t
                    Diffast_core.Delta_common.node_t
                    list)
                  Hashtbl.t

method fail : 'a. string -> 'a

method private filter : Diffast_core.Spec.node_data_t t -> bool

method private is_node_to_be_lifted : Diffast_core.Spec.node_data_t
                                        Diffast_core.Delta_common.node_t ->
  bool

method private get_key_of_node_to_be_lifted : Diffast_core.Spec.node_data_t
                                                Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.subtree_key

method private add_node_to_be_lifted : ?key:Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  unit

method private get_parent_spec : Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.subtree_key option
  * int
  * Diffast_core.Delta_base.Path.t option

method private is_quasi_upstream : Diffast_core.Spec.node_data_t
                                     Diffast_core.Delta_common.node_t ->
  bool

method private has_parent_path : Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t ->
  bool

method private reg_deferred_check : (unit -> unit) -> unit

method private do_deferred_checks : unit -> unit

method private tree_of_node : Diffast_core.Spec.node_data_t
                                Diffast_core.Delta_common.node_t ->
  'c Diffast_core.Delta_common.tree_t

method private canceled_stable_node_list : 'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list

method private pre_cancel_stable_node : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.node_t ->
  unit

method private cancel_stable_node : Diffast_core.Spec.node_data_t
                                      Diffast_core.Delta_common.node_t ->
  unit

method private is_canceled_stable_node : Diffast_core.Spec.node_data_t
                                           Diffast_core.Delta_common.node_t ->
  bool

method private is_pre_canceled_stable_node : Diffast_core.Spec.node_data_t
                                               Diffast_core.Delta_common.node_t ->
  bool

method private lock_stable_node : Diffast_core.Spec.node_data_t
                                    Diffast_core.Delta_common.node_t ->
  unit

method private filter_canceled_stable_nodes : 'c
                                                Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list

method private iter_canceled_stable_nodes : 'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t -> unit) ->
  unit

method private restore_canceled_stable_node : Diffast_core.Spec.node_data_t
                                                Diffast_core.Delta_common.node_t ->
  unit

method get_parent_staying_move1 : Diffast_core.Delta_base.MID.t ->
  Diffast_core.Delta_base.MID.t

method has_parent_staying_move1 : Diffast_core.Delta_base.MID.t -> bool

method get_parent_staying_move2 : Diffast_core.Delta_base.MID.t ->
  Diffast_core.Delta_base.MID.t

method has_parent_staying_move2 : Diffast_core.Delta_base.MID.t -> bool

method is_deleted : Diffast_core.Spec.node_data_t
                      Diffast_core.Delta_common.node_t ->
  bool

method is_moved : Diffast_core.Spec.node_data_t
                    Diffast_core.Delta_common.node_t ->
  bool

method private _reg_parent_key : (Diffast_core.Delta_base.subtree_key,
                                   (Diffast_core.Delta_base.subtree_key,
                                     Diffast_core.Delta_base.Path.t list)
                                     Hashtbl.t)
                                   Hashtbl.t ->
  Diffast_core__Delta_base.boundary ->
  Diffast_core.Delta_base.subtree_key ->
  unit

method private reg_parent_key1 : Diffast_core__Delta_base.boundary ->
  Diffast_core.Delta_base.subtree_key ->
  unit

method private reg_parent_key2 : Diffast_core__Delta_base.boundary ->
  Diffast_core.Delta_base.subtree_key ->
  unit

method private reg_intermediate_parent1 : Diffast_core.Spec.node_data_t
                                            Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  unit

method private reg_intermediate_parent2 : Diffast_core.Spec.node_data_t
                                            Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  unit

method private find_intermediate_parent1 : Diffast_core.Spec.node_data_t
                                             Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private find_intermediate_parent2 : Diffast_core.Spec.node_data_t
                                             Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private reg_intermediate_ofs1 : Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t ->
  int ->
  unit

method private reg_intermediate_ofs2 : Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t ->
  int ->
  unit

method private find_intermediate_ofs1 : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.node_t ->
  int

method private find_intermediate_ofs2 : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.node_t ->
  int

method private has_intermediate_ofs1 : Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t ->
  bool

method private has_intermediate_ofs2 : Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t ->
  bool

method private reg_intermediate_pos1 : Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t ->
  int ->
  unit

method private reg_intermediate_pos2 : Diffast_core.Spec.node_data_t
                                         Diffast_core.Delta_common.node_t ->
  int ->
  unit

method private find_intermediate_pos1 : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.node_t ->
  int

method private find_intermediate_pos2 : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.node_t ->
  int

method private add_mem_pos : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t ->
  int ->
  unit

method private get_mem_pos : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t ->
  int

method private gen_stid : unit -> Diffast_core.Delta_base.subtree_id

method private reg_subtree : 'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 list ->
  Diffast_core.Delta_base.subtree_id

method private find_stid : Diffast_misc.UID.t ->
  Diffast_core.Delta_base.subtree_id

method private has_stid : Diffast_misc.UID.t -> bool

method private is_excluded : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t ->
  bool

method get_anc_in_excluded : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private get_pos_shift : (Diffast_core.Spec.node_data_t
                                  Diffast_core.Delta_common.node_t ->
                                 bool) ->
  Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  int option

method private get_subtree_spec : Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
  * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 list
  * int

method private get_subtree_root : Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private get_subtree_size : Diffast_core.Delta_base.subtree_id -> int

method private _reg_mid : (Diffast_core.Delta_base.MID.t,
                            Diffast_core.Delta_base.subtree_id)
                            Hashtbl.t ->
  Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Delta_base.MID.t ->
  unit

method private reg_mid1 : Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Delta_base.MID.t ->
  unit

method private reg_mid2 : Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Delta_base.MID.t ->
  unit

method private find_mid : Diffast_core.Delta_base.subtree_id ->
  Diffast_core.Delta_base.MID.t

method private has_mid : Diffast_core.Delta_base.subtree_id -> bool

method private stid_of_mid1 : Diffast_core.Delta_base.MID.t ->
  Diffast_core.Delta_base.subtree_id

method private stid_of_mid2 : Diffast_core.Delta_base.MID.t ->
  Diffast_core.Delta_base.subtree_id

method private _stid_of_key : (Diffast_core.Delta_base.MID.t ->
                                Diffast_core.Delta_base.subtree_id) ->
  Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Delta_base.subtree_id

method private stid_of_key1 : Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Delta_base.subtree_id

method private stid_of_key2 : Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Delta_base.subtree_id

method private _get_subtree_root_by_key : (Diffast_core.Delta_base.subtree_key ->
                                            Diffast_core.Delta_base.subtree_id) ->
  Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private get_subtree_root_by_key1 : Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private get_subtree_root_by_key2 : Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private find_key_opt : Diffast_misc.UID.t ->
  Diffast_core.Delta_base.subtree_key option

method private find_key : Diffast_misc.UID.t ->
  Diffast_core.Delta_base.subtree_key

method map_for_delta : (Diffast_core.Spec.node_data_t t ->
                         Diffast_core.Delta_base.Fmt.t list) ->
  Diffast_core.Delta_base.Fmt.t list list

method iter : (Diffast_core.Spec.node_data_t t -> unit) -> unit

method dump : unit

method find1 : Diffast_misc.UID.t -> 'f t list

method find2 : Diffast_misc.UID.t -> 'f t list

method find_mov1 : Diffast_misc.UID.t ->
  Diffast_core.Delta_common.SB.node_data_t_shared t

method find_mov2 : Diffast_misc.UID.t ->
  Diffast_core.Delta_common.SB.node_data_t_shared t

method mem_mov1 : Diffast_misc.UID.t -> bool

method mem_mov2 : Diffast_misc.UID.t -> bool

method is_stable1 : Diffast_core.Spec.node_data_t
                      Diffast_core.Delta_common.node_t ->
  bool

method is_stable2 : Diffast_core.Spec.node_data_t
                      Diffast_core.Delta_common.node_t ->
  bool

method get_remote_stable_tbl : Diffast_core.Delta_base.MID.t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
   * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
    list
  * (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
     * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
      list

method is_staying_move : Diffast_core.Delta_base.MID.t -> bool

method private _is_simple_ins : 'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t -> bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  ?exact:bool ->
  ?top_nodes:'b list ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool

method private paths_to_have_frac_ofs : < has_frac_ofs : bool.. > list -> bool

method private get_top_nodes : Diffast_core.Spec.node_data_t
                                 Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.path_c ->
  Diffast_core__Delta_base.boundary ->
  'b list

method private is_excluded_tn : (Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.SB.Otree.node2 ->
                                  bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.path_c ->
  Diffast_core__Delta_base.boundary ->
  bool

method get_subpath : 'c Diffast_core.Delta_common.tree_t ->
  'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  ?ins_point_opt:
    (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t * int * int)
      option ->
  Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.Path.t

method get_adjusted_path : ?get_group:
                             (Diffast_core.Spec.node_data_t
                                Diffast_core.Delta_common.node_t ->
                               Diffast_core.Spec.node_data_t
                                 Diffast_core.Delta_common.node_t) ->
  ?group_heads:
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
  ?is_simple_ins:
    (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
      bool option) ->
  ?get_iparent_opt:
    (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
      Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t)
      option ->
  ?is_excluded:
    (int ->
      Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
      bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t -> int) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t -> int) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.Path.t ->
  Diffast_core.Delta_base.Path.t

method private get_uid_key : Diffast_core.Spec.node_data_t
                               Diffast_core.Delta_common.node_t
                               list ->
  Diffast_misc.UID.t list

method private get_latest_common_ancestor : 'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
  * (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
     * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
      list

method private get_opposite_path_and_excepted_paths : (Diffast_misc.Path.t
                                                       * Diffast_core.Delta_base.Path.t,
                                                        Diffast_core.Delta_base.Path.t
                                                        * Diffast_core.Delta_base.subtree_key
                                                        * int)
                                                        Hashtbl.t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
    Diffast_core.Delta_base.Xset.t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t -> bool) ->
  ((Diffast_core.Delta_base.Path.t -> Diffast_core.Delta_base.Path.t) ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
    * Diffast_core.Delta_base.Path.t
    * Diffast_core__Delta_base.boundary
    * int
    * bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  'c Diffast_core.Delta_common.tree_t ->
  'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
  * Diffast_core.Delta_base.path_c
  * Diffast_core__Delta_base.boundary
  * bool

method private acc : ?simple:bool ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.Path.t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2

method private rev_ancto_tbl_add : (Diffast_core.Spec.node_data_t
                                      Diffast_core.Delta_common.node_t ->
                                     bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 * int,
    Diffast_core.Delta_base.subtree_key list)
    Hashtbl.t ->
  Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
  Diffast_core.Delta_base.path_c ->
  Diffast_core__Delta_base.boundary ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  unit

method is_upward_staying_move : Diffast_core.Delta_base.MID.t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
   * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
    list ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list
  * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list
  * bool

method _is_upward_staying_move : 'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Delta_base.MID.t ->
  bool

method private make_chg_inst : Diffast_core.Editop.tag ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Triple.node

method private find_from_or_into : ?mid_opt:'h option ->
  'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t

method private are_contiguous_children : Diffast_core.Spec.node_data_t
                                           Diffast_core.Delta_common.node_t
                                           list ->
  bool

method private get_conflicts : ?ancto_opt:
                                 Diffast_core.Spec.node_data_t
                                   Diffast_core.Delta_common.node_t
                                   option ->
  ?parent_ins_point_opt:
    (Diffast_core.Delta_base.subtree_key
     * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
     * int
     * int)
      option ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  'c Diffast_core.Delta_common.tree_t ->
  'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list
  * bool
  * Diffast_core.Delta_base.MID.t list
  * (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2,
      Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t)
      Hashtbl.t

method private is_quasi_upstream_impossible : 'c
                                                Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool

method private get_ins_target : 'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
  * int
  * int
  * (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
     * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
      list

method private has_destined_upstream : 'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
    * int
    * int
    * (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
       * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
        list) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool * Diffast_core.Delta_base.subtree_key option

method private really_has_conflict : 'c Diffast_core.Delta_common.tree_t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t,
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t)
    Hashtbl.t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
    * int
    * int
    * (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
       * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t list)
        list) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool

method private get_parent_key_opt : ?force_lift:bool ->
  ?parent_ins_point_opt:
    (Diffast_core.Delta_base.subtree_key
     * Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t
     * int
     * int)
      option ->
  ?anc_to_opt:
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2
      option ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    bool) ->
  'c Diffast_core.Delta_common.tree_t ->
  'c Diffast_core.Delta_common.tree_t ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t) ->
  (Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
    Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2) ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  Diffast_core.Delta_base.subtree_key option
  * int
  * Diffast_core.Delta_base.Path.t option

method private _has_offset_parent_ins : (Diffast_core.Delta_base.subtree_key,
                                          (Diffast_core.Delta_base.subtree_key,
                                            Diffast_core.Delta_base.Path.t list)
                                            Hashtbl.t)
                                          Hashtbl.t ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.SB.Otree.node2 ->
  bool

method private has_offset_parent_ins1 : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.SB.Otree.node2 ->
  bool

method private has_offset_parent_ins2 : Diffast_core.Spec.node_data_t
                                          Diffast_core.Delta_common.SB.Otree.node2 ->
  bool

method private _has_parent_ins : (Diffast_core.Delta_base.subtree_key,
                                   (Diffast_core.Delta_base.subtree_key,
                                     Diffast_core.Delta_base.Path.t list)
                                     Hashtbl.t)
                                   Hashtbl.t ->
  ?multi:bool ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool

method private has_parent_ins1 : ?multi:bool ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool

method private has_parent_ins2 : ?multi:bool ->
  Diffast_core.Spec.node_data_t Diffast_core.Delta_common.node_t ->
  bool

method private _is_ancestor_key : (Diffast_core.Delta_base.subtree_key ->
                                    Diffast_core.Delta_base.subtree_key) ->
  Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Delta_base.subtree_key ->
  bool

method private is_ancestor_key1 : Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Delta_base.subtree_key ->
  bool

method private is_ancestor_key2 : Diffast_core.Delta_base.subtree_key ->
  Diffast_core.Delta_base.subtree_key ->
  bool

method dump_delta_ch : ?extra_ns_decls:(string * string) list ->
  ?fact_file_name:string ->
  ?info_file_name:string ->
  'b Diffast_core.Node_mapping.c ->
  Diffast_core.Delta_base.Xchannel.out_channel ->
  unit

method dump_delta : ?extra_ns_decls:(string * string) list ->
  ?comp:Compression.c ->
  ?info_file_path:string ->
  'b Diffast_core.Node_mapping.c ->
  string ->
  unit

package diffast-core