abstract class Type
Arr |
data class Arr : Type |
Bool |
object Bool : Type |
IO |
data class IO : Type |
Nat |
object Nat : Type |
Obj |
object Obj : Type |
UnitTy |
object UnitTy : Type |
<init> |
Type(rep: FrameSlotKind) |
arity |
open val arity: Int |
rep |
val rep: FrameSlotKind |
match |
fun match(expected: Type): Unit |
validate |
abstract fun validate(t: Any?): Unit |
Action |
val Action: IO |
after |
fun Type.after(n: Int): Type |