sig
val
run :
'
a
Tree
.t
->
'
b
Tree
.t list
->
(
'
c,
'
a,
'
b)
Mtt
.mtt
->
'
b
Tree
.t
end