Module `TypedtreeIter`

module type IteratorArgument = sig ... end

module MakeIterator : functor (Iter : IteratorArgument) -> sig ... end

module DefaultIteratorArgument : IteratorArgument