module L : Spec.LABEL_Tval is_phantom : < data : < _label : Obj.t.. >.. > -> boolclass c : < fact_algo : Diffast_core.Triple.Xhash.algo
; fact_enc : Entity.encoding
; fact_for_changes_basic_flag : bool
; fact_for_changes_flag : bool
; fact_proj : string.. > -> Spec.tree_t -> Spec.tree_t -> node_t
Node_mapping.c -> <
add_edit :
Spec.node_t EO.t ->
unit
; finalize : node_t Node_mapping.c -> ('a -> bool) -> unit
; find_mid12 : node_t -> node_t -> EO.move_id
; iter : (Spec.node_t EO.t -> unit) -> 'b
; iter_deletes_and_inserts : (node_t EO.t -> unit) -> 'c
; iter_moves : (node_t EO.t -> unit) -> 'd
; iter_relabels : (node_t EO.t -> unit) -> 'e
; mem_mov12 : Spec.node_t -> Spec.node_t -> bool
; mem_mov2 : Diffast_core.Node_mapping.Nodetbl.key -> bool
; remove_edit : Spec.node_t EO.t -> unit.. > -> (Spec.tree_t ->
Diffast_core.Node_mapping.Nodetbl.key ->
string) -> (bool ->
Spec.tree_t ->
node_t ->
string) -> (Spec.tree_t ->
Spec.tree_t ->
node_t ->
node_t ->
string) -> object ... end