Type definitions for Velocity