package ast
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
This is the API documentation for GAPT.
The main package is gapt.