Syntax.IHateParens.Vect

Reexports

Definitions

.asList : Vect n a -> List a

Totality: total
Visibility: public export

.withIdx : Vect n a -> Vect n (Fin n, a)

Totality: total
Visibility: public export