pure

Type Members

1. final case class Abs(name: String, typ: Typ, body: Term) extends Term with Product with Serializable

   

2. final case class App(fun: Term, arg: Term) extends Term with Product with Serializable

   

3. final case class Bound(index: BigInt) extends Term with Product with Serializable

   

4. final case class Const(name: String, typ: Typ) extends Term with Product with Serializable

   

5. trait Embeddable[T] extends Typeable[T]

   

6. case class Expr[T] extends Product with Serializable

   

7. final case class Free(name: String, typ: Typ) extends Term with Product with Serializable

   

8. type Indexname = (String, BigInt)

   

9. class Prop extends AnyRef

   

10. type Sort = List[String]

    

11. final case class TFree(name: String, sort: Sort) extends Typ with Product with Serializable

    

12. final case class TVar(name: Indexname, sort: Sort) extends Typ with Product with Serializable

    

13. sealed abstract class Term extends AnyRef

    

14. case class Theory(system: System, name: String) extends Product with Serializable

    

15. sealed abstract class Typ extends AnyRef

    

16. final case class Type(name: String, args: List[Typ] = Nil) extends Typ with Product with Serializable

    

17. trait Typeable[T] extends AnyRef

    

18. final case class Var(name: Indexname, typ: Typ) extends Term with Product with Serializable