expression

Type Members

1. case class Abs (variable: Var, body: E) extends E with Product with Serializable

2. case class App (function: E, argument: E) extends E with Product with Serializable

3. case class Arrow (t1: T, t2: T) extends T with Product with Serializable

   Attributes

   final

4. trait Atomic extends AnyRef

5. case class AtomicType (name: String) extends T with Atomic with Product with Serializable

   Attributes

   final

6. class E extends Judgment

   Attributes

   sealed abstract

7. trait Infix extends Var

8. class RichString extends AnyRef

9. class T extends AnyRef

   Attributes

   abstract

10. case class Var (name: String, t: T) extends E with Product with Serializable