<span class="name">productElementNames</span><span class="result">: <a href="../scala/index.html#Iterator[+A]=Iterator[A]" name="scala.Iterator" id="scala.Iterator" class="extmbr">Iterator</a>[<span name="scala.Predef.String" class="extype">String</span>]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd>Product</dd></dl></div></li><li class="indented0 " name="provingground.Context.Defn#subs" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a