Module ExecMtt


module ExecMtt: sig  end

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