Diffast_misc.Otreelibval sprintf : ('a, unit, string) format -> 'aval find_trivial :
< root :
< children : 'a array
; data : < equals : 'b -> bool.. >
; index : Otree.index.. >
; scan_subtree : 'a -> ('c -> unit) -> unit.. > ->
< root : < children : 'd array ; data : 'b ; index : Otree.index.. >
; scan_subtree : 'd -> ('e -> unit) -> unit.. > ->
Edit.seq * Mapping.t * 'f listval to_dot :
string ->
< get : Otree.index -> < uid : UID.t.. >
; to_dot :
?mklab:
(< data : < digest_string : string.. >
; index : int
; preorder_index : int
; to_qualified_string : string
; uid : UID.t.. > ->
string) ->
Otree.index list ->
Buffer.t.. > ->
< get : Otree.index -> < uid : UID.t.. >
; to_dot :
?mklab:
(< data : < digest_string : string.. >
; index : int
; preorder_index : int
; to_qualified_string : string
; uid : UID.t.. > ->
string) ->
Otree.index list ->
Buffer.t.. > ->
Edit.t list ->
(Otree.index * Otree.index) list ->
(Otree.index * Otree.index) list ->
unit