Packages

object BinTrees

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

Value Members

  1. val BT: Typ[Term]
  2. val BTInd: ConstructorSeqTL[::[HNil, ::[::[FuncConsShape.type, HNil], HNil]], Term, ::[Term, ::[Func[Func[Term, Term], Term], HNil]]]
  3. val f: Func[Term, Term]
  4. val g: Func[Term, Term]
  5. val leaf: Term
  6. val leaves: Func[Term, Term]
  7. val node: Func[Func[Term, Term], Term]
  8. val recBTN: Func[Term, Func[Func[Func[Term, Term], Func[Func[Term, Term], Term]], Func[Term, Term]]]