Packages

package ast

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