TermPath

case class TermPath(terms: List[Term])
Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def append(term: Term): TermPath
def mkString(separator: String, dropFirst: Boolean): String

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product