Packages

object Trees

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Trees
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. val T: Typ[Term]
  2. val TInd: ConstructorSeqTL[::[HNil, ::[::[FuncConsShape.type, ::[FuncConsShape.type, HNil]], HNil]], Term, ::[Term, ::[Func[Term, Func[Term, Term]], HNil]]]
  3. val leaf: Term
  4. val node: Func[Term, Func[Term, Term]]
  5. val recTN: Func[Term, Func[Func[Term, Func[Term, Func[Term, Func[Term, Term]]]], Func[Term, Term]]]
  6. val t1: Term
  7. val t2: Term
  8. val vertices: Func[Term, Term]