module statics/util
imports signature/TYPE

rules
  lastTYPE : list(TYPE) -> TYPE
  lastTYPE([T]) = T.
  lastTYPE([U | TS]) = lastTYPE(TS).