Packages

object Statement

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

Type Members

  1. case class Assert[E](claim: E) extends Assertion[E] with Product with Serializable
  2. trait Assertion[E] extends Statement[E]
  3. case class BeginProof[E](propn: Assertion[E]) extends Beginning with Product with Serializable
  4. class BeginPropn extends Beginning
  5. trait Beginning extends AnyRef
  6. case class Case[E](claim: E) extends Assertion[E] with Product with Serializable
  7. case class Conclude[E](claim: E) extends Assertion[E] with Product with Serializable
  8. abstract class Define[S, E] extends Statement[E] with Assertion[E]
  9. case class Definition[S, E](name: S, typ: E, value: E)(implicit evidence$2: ExprLang[E]) extends Define[S, E] with Product with Serializable
  10. case class DefnPropn[S, E](name: S, typ: E, claim: E)(implicit evidence$3: ExprLang[E]) extends Define[S, E] with Product with Serializable
  11. case class End(beginning: Beginning) extends Product with Serializable
  12. case class EndCase[E](beginning: Case[E]) extends Statement[E] with Product with Serializable
  13. case class Fix[E](variable: E) extends Statement[E] with Product with Serializable
  14. class Propn[E] extends Assertion[E]

    Assertion which we do not expect to conclude immediately.

  15. case class Using[E](method: E, claim: E) extends Assertion[E] with Product with Serializable

Value Members

  1. object Assume
  2. object Fix extends Serializable