package ty
Type Members
- case class TArr(in: Ty, out: Ty) extends Ty with Product with Serializable
- case class TBase(name: String, params: List[Ty]) extends Ty with Product with Serializable
- case class TVar(name: String) extends Ty with Product with Serializable
- sealed abstract class Ty extends AnyRef
This is the API documentation for GAPT.
The main package is gapt.