package ast
Content Hierarchy
Type Members
- case class Abs (v: Var, t: LambdaAST) extends LambdaAST with Product with Serializable
- case class All (v: Var, t: LambdaAST) extends LambdaAST with Product with Serializable
- case class And (l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
- case class App (args: List[LambdaAST]) extends LambdaAST with Product with Serializable
- case class Bottom () extends LambdaAST with Product with Serializable
- case class Eq (l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
- case class Exists (v: Var, t: LambdaAST) extends LambdaAST with Product with Serializable
- case class Imp (l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
- abstract class LambdaAST extends AnyRef
- case class Neg (t: LambdaAST) extends LambdaAST with Product with Serializable
- case class Or (l: LambdaAST, r: LambdaAST) extends LambdaAST with Product with Serializable
- case class Top () extends LambdaAST with Product with Serializable
- case class Var (name: String) extends LambdaAST with Product with Serializable