val mutable removed_eds : Diffast_core.Spec.node_t Diffast_core.Editop.t listval parent_tri_cache : ('f, 'g) Hashtbl.tval ed_use_tbl : (Diffast_core.Editop.tag
* Diffast_core.Editop.UID.t
* Diffast_core.Editop.UID.t,
bool)
Hashtbl.tval children_tri_cache : ('h, 'i) Hashtbl.tval mutable added_eds : Diffast_core.Spec.node_t Diffast_core.Editop.t listmethod _mkt_nesting_depth : (Diffast_core__Change_base.node_t ->
< _replace_children :
?initial:bool ->
(int
* Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array)
list ->
unit
; _set_is_collapsed : bool -> unit
; add_child :
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; add_child_leftmost :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; add_child_rightmost :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; add_children_leftmost :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array ->
unit
; add_children_rightmost :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array ->
unit
; add_substance :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; apath : Diffast_misc.Path.t
; begin_mutation : unit -> unit
; children :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array
; children_indexes : int list
; children_uids : Diffast_misc.UID.t list
; clear_collapsible : unit
; clear_in_path : unit
; collapse : int -> Diffast_misc.Xhash.t -> unit
; collapse_locked : bool
; collapse_not_locked : bool
; collapsible : bool
; data :
< _annotation : Obj.t
; _anonymized2_label : Obj.t
; _anonymized3_label : Obj.t
; _anonymized_label : Obj.t
; _digest : Diffast_misc.Xhash.t option
; _digest_string : string
; _label : Obj.t
; _set_digest :
Diffast_core.Spec.SB.Xhash.t ->
unit
; _stripped_label : Obj.t
; _stripped_orig_label : Obj.t
; add_binding :
Diffast_core.Spec.Binding.t ->
unit
; add_successor :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.Otree.node2 ->
unit
; add_to_ordinal_list : int list -> unit
; anonymized2_label : string
; anonymized3_label : string
; anonymized_label : string
; binding : Diffast_core.Spec.SB.Binding.t
; bindings :
Diffast_core.Spec.SB.Binding.t list
; change_attr : string -> string -> unit
; char : char
; delete_attr : string -> unit
; digest : Diffast_misc.Xhash.t option
; digest_string : string
; elem_attrs_for_delta : (string * string) list
; elem_name_for_delta : string
; eq : Diffast_core.Spec.node_data_t -> bool
; equals :
Diffast_core.Spec.node_data_t ->
bool
; feature :
Obj.t * Diffast_core.Spec.SB.Xhash.t option
; frommacro : string
; get_category : string
; get_ident_use : string
; get_name : string
; get_ordinal : int -> int
; get_orig_name : string
; get_prefix : string
; get_stripped_name : string
; get_suffix : string
; get_value : string
; gid : Diffast_core.Spec.SB.Otree.GI.t
; has_non_trivial_tid : bool
; has_non_trivial_value : bool
; has_ordinal : bool
; has_value : bool
; id_loc : Diffast_core.Spec.Loc.t
; insert_attr : string -> string -> unit
; is_anonymous : bool
; is_anonymous_orig : bool
; is_block : bool
; is_boundary : bool
; is_common : bool
; is_compatible_with :
?weak:bool ->
Diffast_core.Spec.node_data_t ->
bool
; is_frommacro : bool
; is_int_literal : bool
; is_literal : bool
; is_named : bool
; is_named_orig : bool
; is_ntuple : bool
; is_op : bool
; is_order_insensitive : bool
; is_partition : bool
; is_phantom : bool
; is_primary : bool
; is_real_literal : bool
; is_scope_creating : bool
; is_sequence : bool
; is_special : bool
; is_statement : bool
; is_string_literal : bool
; label : string
; mid : Diffast_core.Spec.SB.MID.t
; more_anonymized_label : string
; move_disallowed : bool
; not_frommacro : bool
; orig_elem_attrs_for_delta :
(string * string) list
; orig_elem_name_for_delta : string
; orig_lab_opt : Obj.t option
; orig_to_elem_data_for_delta :
string * (string * string) list * string
; orig_to_elem_data_for_eq :
string * (string * string) list * string
; quasi_eq :
Diffast_core.Spec.node_data_t ->
bool
; relabel_allowed :
Diffast_core.Spec.node_data_t ->
bool
; reset_digest : unit
; scope_node :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.Otree.node2
; set_binding :
Diffast_core.Spec.Binding.t ->
unit
; set_bindings :
Diffast_core.Spec.Binding.t list ->
unit
; set_digest : Diffast_misc.Xhash.t -> unit
; set_frommacro : string -> unit
; set_gid :
Diffast_core.Spec.SB.Otree.GI.t ->
unit
; set_loc : Diffast_core.Spec.SB.Loc.t -> unit
; set_mid : Diffast_core.Spec.SB.MID.t -> unit
; set_prefix : string -> unit
; set_scope_node :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.Otree.node2 ->
unit
; set_source_fid : string -> unit
; set_suffix : string -> unit
; set_weight : int -> unit
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; stripped_label : string
; subtree_equals :
Diffast_core.Spec.node_data_t ->
bool
; successors :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.Otree.node2
Diffast_core.Spec.Xset.t
; to_be_notified : bool
; to_elem_data :
string * (string * string) list * string
; to_elem_data_for_delta :
string * (string * string) list * string
; to_rep : string
; to_short_string : string
; to_simple_string : string
; to_string : string
; weight : int >
; decide_collapsible_or_not : unit
; del_leftmost_child : unit -> unit
; del_rightmost_child : unit -> unit
; end_mutation : ?overwrite:bool -> unit -> unit
; expand : unit
; get_substances :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
list
; gindex : Diffast_core.Spec.SB.Otree.GI.t
; has_hidden_parent : bool
; has_initial_parent : bool
; has_later_mutation : bool
; has_parent : bool
; hash : int
; hidden_children :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array
; hidden_parent :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
; hide_parent : unit
; in_path : bool
; index : int
; init_mutation : unit -> unit
; initial_ancestor_nodes :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
list
; initial_children :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array
; initial_children_uids : Diffast_misc.UID.t list
; initial_nchildren : int
; initial_parent :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
; initial_pos : int
; initial_to_string : string
; insert_path :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
list ->
unit
; is_collapsed : bool
; is_contracted : bool
; is_leaf : bool
; is_valid : bool
; iter_initial_ancestor_nodes :
(Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit) ->
unit
; lock_collapse : unit
; nchildren : int
; nth_child :
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
; parent :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
; parent_edge :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
option
; path :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
Diffast_core.Spec.SB.Otree.path
; pos : int
; preorder_index : int
; print : unit
; prune : unit
; prune_all_children : unit
; prune_children : int list -> unit
; prune_initial_children : int list -> unit
; prune_nth_child : int -> unit
; replace_children :
(int
* Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array)
list ->
unit
; replace_nth_child :
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array ->
unit
; set_apath : Diffast_misc.Path.t -> unit
; set_children :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array ->
unit
; set_collapsible : unit
; set_data :
Diffast_core.Spec.node_data_t ->
unit
; set_digest : Diffast_misc.Xhash.t -> unit
; set_gindex :
Diffast_core.Spec.SB.Otree.GI.t ->
unit
; set_hidden_children :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array ->
unit
; set_in_path : unit
; set_index : int -> unit
; set_initial_children :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
array ->
unit
; set_initial_parent :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; set_initial_pos : int -> unit
; set_parent :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; set_parent_edge :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
option ->
unit
; set_path :
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
list ->
unit
; set_pos : int -> unit
; set_preorder_index : int -> unit
; to_dot :
?mklab:
(Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
string) ->
unit ->
string
; to_dot_str :
?mklab:
(Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
string) ->
unit ->
string
; to_dot_str_ini :
?mklab:
(Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
string) ->
unit ->
string
; to_qualified_string : string
; to_rep : string
; to_string : string
; uid : Diffast_misc.UID.t
; unhide_parent : unit
; unlock_collapse : unit
; v_delete_child : int -> unit
; v_delete_children : int list -> unit
; v_insert_child :
?later:bool ->
?offset:float ->
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; v_insert_children :
?later:bool ->
?offset:float ->
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
list ->
unit
; v_update_child :
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2 ->
unit
; v_update_children :
int ->
Diffast_core.Spec.node_data_t
Diffast_core.Spec.SB.Otree.node2
list ->
unit >) ->
('j -> int) ->
?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod aggregate_changes : (Diffast_core.Node_mapping.Nodetbl.key -> bool) ->
unit ->
Diffast_core__Change_base.change listmethod extract : (string * int * string list) list
* Diffast_core.Spec.node_t Diffast_core.Editop.t list
* (string * int * Diffast_core__Change_base.change_info list)
list
* Diffast_core.Triple.t Diffast_misc.Xset.tmethod infer_loc : Diffast_core.Node_mapping.Nodetbl.key ->
string * Diffast_core.Spec.SB.Loc.tmethod make_cardinality_change : (Diffast_core.Node_mapping.Nodetbl.key ->
bool) ->
unit ->
Diffast_core__Change_base.change listmethod mkt_abstracted_to : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_cardinality : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_changed_to : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_deleted : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_folded_into : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_inserted : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_modified : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_moved_to : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_order_changed : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
listmethod mkt_renamed : ?category:Diffast_core.Triple.node ->
Diffast_core__Change_base.change ->
(Diffast_core.Triple.node
* Diffast_core.Triple.node
* Diffast_core.Triple.node)
list