Packages

object BoolType

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

Type Members

  1. case class isTrueTyp(value: Boolean) extends SmallTyp with Product with Serializable

Value Members

  1. lazy val and: Func[Term, Func[Term, Term]]
  2. lazy val boolFmly: FuncRep[Term, Boolean, Typ[Term], Typ[Term]]
  3. lazy val boolrep: SimpleRep[Term, Boolean]
  4. lazy val isTrue: Func[Term, Typ[Term]]
  5. lazy val ite: FuncLike[Typ[Term], Func[Term, Func[Term, Func[Term, Term]]]]
  6. def iteDepFunc(u: Typ[Term], v: Typ[Term]): FuncLike[Term, Term]
  7. def iteFunc[U <: Term with Subs[U]](u: Typ[U]): Func[Term, Func[U, Func[U, U]]]
  8. lazy val itedep: FuncLike[Typ[Term], FuncLike[Typ[Term], FuncLike[Term, Term]]]
  9. lazy val not: Func[Term, Term]
  10. lazy val or: Func[Term, Func[Term, Term]]
  11. case object Bool extends SmallTyp with Product with Serializable
  12. case object yes extends ConstTerm[Boolean] with Product with Serializable