javadoc for Seq