Index of types

A
atom [Mergeable_vector.Vector]	The type of vector element.
P
patch [Mergeable_vector.Mergeable_vector]	The type of patch.
T
t [Mergeable_vector.Vector]	The type of vector.