Index of types

T
t [Pvec]	The type for persistent vectors indexing elements of type `'a`.