Idris2Doc : Data.Refined.List

Data.Refined.List

(source)
Reexports
import public Data.List
import public Data.List.Quantifiers
import public Data.Refined.Core
Definitions
0 Len : (Nat -> Type) -> List a -> Type
  Totality: total
  Visibility: public export