Data.Linear.List.LQuantifiers

Definitions

data LAll : (a -> Type) -> List a -> Type

Totality: total
Visibility: public export
Constructors:

Nil : LAll p []

(::) : p x -@ (LAll p xs -@ LAll p (x :: xs))