null
predicate
l
null tests a list for being empty:
l
null([ ])
==>
1
l
null([1])
==>
0
l
Type signature of null?