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. sealed abstract class Cexpr[T] extends AnyRef

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

6. type Context = Context.type

7. type Conv = (Cterm) ⇒ Thm

8. type Cterm = Cterm.type

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

10. final case class Expr[T] extends Product with Serializable

11. implicit class ExprStringContext extends AnyRef

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

13. type Indexname = (String, BigInt)

14. sealed abstract class Prop extends AnyRef

15. type Sort = List[String]

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

17. final case class TVar(name: (String, BigInt), sort: Sort) extends Typ with Product with Serializable

18. sealed abstract class Term extends AnyRef

19. type Theory = Theory.type

20. type Thm = Thm.type

21. sealed abstract class Typ extends AnyRef

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

23. trait Typeable[T] extends AnyRef

24. final case class Var(name: (String, BigInt), typ: Typ) extends Term with Product with Serializable