3 lines
66 B
Standard ML
3 lines
66 B
Standard ML
Tm(VarTm) : Type
|
|
Abs : (bind Tm in Tm) -> Tm
|
|
App : Tm -> Tm -> Tm
|