ConsEnv |
data class ConsEnv<out T> |
Ctx |
typealias Ctx = Env<Type> |
Env |
typealias Env<T> = ConsEnv<T>? |
Name |
typealias Name = String |
Term |
abstract class Term |
Type |
abstract class Type |
TypeError |
class TypeError : Exception |
NilEnv |
val NilEnv: Env<Nothing> |
after |
fun Type.after(n: Int): Type |
lookup |
fun <T> Env<T>.lookup(name: String): T |