1
List = FOL +
2
types list 1
3
arities list :: (term)term
4
consts Nil :: "'a list"
5
Cons :: "['a, 'a list] => 'a list"
6
end