termsig :: ULT -> [Int]
termsig t =
  map length $ map (\(x,tp) -> linearizeType tp) (vartps t)
termsig :: ULT -> [Int]
termsig t =
  map length $ map (\(x,tp) -> linearizeType tp) (vartps t)
termsig t =
  map length $ map (\(x,tp) -> linearizeType tp) (vartps t)