Simulation.Aivika.Trans.Vector
data Vector m a
newVector
copyVector
vectorCount
appendVector
readVector
writeVector
vectorBinarySearch
vectorInsert
vectorDeleteAt
vectorIndex
freezeVector