module Xset = Diffast_misc.Xsetmodule Otree = Diffast_misc.Otreemodule Loc = Diffast_misc.Locmodule EO = Editopval sprintf : ('a, unit, string) format -> 'atype node_t = Spec.node_ttype change_maker = unit -> change listval hash_change : change -> intval change_to_string : change -> stringval score : significance -> inttype change_infos = (string * int * change_info list) listclass change_set : object ... endval mkilit : int -> Triple.nodeval p_is_a : Triple.nodeval p_moved_to : Triple.nodeval p_deleted_from : Triple.nodeval p_inserted_into : Triple.nodeval p_pruned_from : Triple.nodeval p_grafted_onto : Triple.nodeval p_gen_removed : Triple.nodeval p_gen_added : Triple.nodeval p_affects_nesting_depth : Triple.nodeval p_nesting_depth : Triple.nodeval p_cardinality : Triple.nodeval l_true : Triple.nodeval make_mkent_pair :
< fact_algo : Diffast_core.Triple.Xhash.algo
; fact_enc : Entity.encoding
; fact_proj : string.. > ->
< proj_root : 'a
; source_digest : Diffast_core.Triple.Xhash.t
; source_path : string
; version : string
; vkind : Entity.vkind.. > ->
< proj_root : 'b
; source_digest : Diffast_core.Triple.Xhash.t
; source_path : string
; version : string
; vkind : Entity.vkind.. > ->
(< data :
< is_phantom : bool
; is_special : bool
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; to_string : string.. >.. > ->
Triple.node)
* (< data :
< is_phantom : bool
; is_special : bool
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; to_string : string.. >.. > ->
Triple.node)val is_ghost : < data : < src_loc : Diffast_core.Triple.Loc.t.. >.. > -> boolval find_from_or_into :
'a ->
< root :
< data : < src_loc : Diffast_core.Triple.Loc.t.. >
; initial_parent : 'c.. > as 'c.. > as 'b ->
< mem_mov12 : 'c -> 'c -> bool.. > ->
?mid_opt:'d option ->
'b ->
('c -> 'c) ->
< initial_parent : 'c.. > ->
'cmodule F (L : Spec.LABEL_T) : sig ... end