8 lines
140 B
Plaintext
8 lines
140 B
Plaintext
|
module statics/util
|
||
|
|
imports signature/TYPE
|
||
|
|
|
||
|
|
rules
|
||
|
|
lastTYPE : list(TYPE) -> TYPE
|
||
|
|
lastTYPE([T]) = T.
|
||
|
|
lastTYPE([U | TS]) = lastTYPE(TS).
|