(datatype Operand)
(sort VecOperandBase (Vec Operand))
(datatype VecOperand (VO VecOperandBase))
(sort VecVecOperandBase (Vec VecOperand))

(rule
   ((= v1 (vec-of))
    (= v2 (VO v1))
    (= v3 (vec-of v2)))
   ())