Idris2Doc : Data.List.All

Data.List.All

(source)
Definitions
null : All p ts -> Bool
  Totality: total
  Visibility: public export