
  0 | module Data.List.All
  1 | 
  2 | import Data.List.Quantifiers
  3 | 
  4 | %default total
  5 | 
  6 | public export
  7 | null :
  8 |   {0 ts : List a} ->
  9 |   All p ts ->
 10 |   Bool
 11 | null [] = True
 12 | null _ = False
 13 | 
 14 |