val treedist :
(< get : Otree.index -> < data : < equals : 'b -> bool.. >.. >
; leftmost : Otree.index -> Otree.index.. > as 'a ->
< get : Otree.index -> < data : 'b.. >
; leftmost : Otree.index -> Otree.index.. > as 'c ->
Otree.index ->
Otree.index ->
W.t) ->
(W.t * Effect.t list) array array ->
'a ->
'c ->
Otree.index ->
Otree.index ->
W.t * Effect.t listval find_isomorphic_subtrees :
(W.t * 'a) array array ->
< leftmost : int -> int.. > ->
'b ->
(int * int) list ->
int listval find :
(< get : Otree.index -> < data : < equals : 'b -> bool.. >.. >
; keynodes : Otree.index list
; leftmost : Otree.index -> Otree.index
; size : int.. > as 'a ->
< get : Otree.index -> < data : 'b.. >
; keynodes : Otree.index list
; leftmost : Otree.index -> Otree.index
; size : int.. > as 'c ->
int ->
int ->
W.t) ->
'a ->
'c ->
Edit.seq * Mapping.elem list * Otree.index list