Packages

case class SimpleIndMod(name: Name, typF: Term, intros: Vector[Term], numParams: Int, isPropn: Boolean) extends TermIndMod with Product with Serializable

Linear Supertypes
Serializable, Product, Equals, TermIndMod, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SimpleIndMod
  2. Serializable
  3. Product
  4. Equals
  5. TermIndMod
  6. AnyRef
  7. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new SimpleIndMod(name: Name, typF: Term, intros: Vector[Term], numParams: Int, isPropn: Boolean)

Value Members

  1. def getInd(p: Vector[Term]): ConstructorSeqTL[getInd._1.type.SS, Term, getInd._1.type.Intros] forSome {val _1: Exst}
  2. def getRecOpt(argsFmlyTerm: Option[Vector[Term]]): Option[Term]
    Definition Classes
    SimpleIndModTermIndMod
  3. def getRecTry(argsFmlyTerm: Try[Vector[Term]]): Try[Term]
    Definition Classes
    SimpleIndModTermIndMod
  4. def interleaveData(v: Vector[Term]): Vector[Term]
    Definition Classes
    TermIndMod
  5. val intros: Vector[Term]
    Definition Classes
    SimpleIndModTermIndMod
  6. def introsFold(p: Vector[Term]): Vector[Term]
    Definition Classes
    TermIndMod
  7. val isPropn: Boolean
    Definition Classes
    SimpleIndModTermIndMod
  8. val name: Name
    Definition Classes
    SimpleIndModTermIndMod
  9. val numParams: Int
    Definition Classes
    SimpleIndModTermIndMod
  10. def productElementNames: Iterator[String]
    Definition Classes
    Product
  11. val recName: Str
    Definition Classes
    TermIndMod
  12. val typF: Term
    Definition Classes
    SimpleIndModTermIndMod