Module TypedtreeIter

module type IteratorArgument = sig ... end
module MakeIterator (Iter : IteratorArgument) : sig ... end