Packages

object Lists

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

Value Members

  1. val A: Typ[Term]
  2. val ListA: Typ[Term]
  3. val ListAInd: ConstructorSeqTL[::[HNil, ::[::[CnstFuncConsShape.type, ::[FuncConsShape.type, HNil]], HNil]], Term, ::[Term, ::[Func[Term, Func[Term, Term]], HNil]]]
  4. val ListInd: Lambda[Term, ConstructorSeqTL[::[HNil, ::[::[CnstFuncConsShape.type, ::[FuncConsShape.type, HNil]], HNil]], Term, ::[Term, ::[Func[Term, Func[Term, Term]], HNil]]]]
  5. val a: Term
  6. val cons: Func[Term, Func[Term, Term]]
  7. val l: Term
  8. val nil: Term
  9. val recLN: Func[Term, Func[Func[Term, Func[Term, Func[Term, Term]]], Func[Term, Term]]]
  10. val size: Func[Term, Term]