pub type DynTermIterator<'a, E> = Box<dyn Iterator<Item = Result<CowTerm<'a>, E>> + 'a>;
Boxed type-erased term iterator.
pub struct DynTermIterator<'a, E>(/* private fields */);