Packages

package ast

Content Hierarchy

Type Members

  1. case class Abs(v: Var, t: LambdaAST) extends LambdaAST with Product with Serializable
  2. case class All(v: Var, t: LambdaAST) extends LambdaAST with Product with Serializable
  3. case class And(l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
  4. case class App(args: List[LambdaAST]) extends LambdaAST with Product with Serializable
  5. case class Bottom() extends LambdaAST with Product with Serializable
  6. case class Eq(l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
  7. case class Exists(v: Var, t: LambdaAST) extends LambdaAST with Product with Serializable
  8. case class Imp(l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
  9. abstract class LambdaAST extends AnyRef
  10. case class Neg(t: LambdaAST) extends LambdaAST with Product with Serializable
  11. case class Or(l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
  12. case class Top() extends LambdaAST with Product with Serializable
  13. case class Var(name: String) extends LambdaAST with Product with Serializable

Ungrouped