Array Handling in Velato - Velato Typing CST Test