Data description Describing data to be exchanged @vars: @data: @Returns: @p_type: @vars: @data: @p_type: @name: @Returns: @type: @name: @def: @name: @name: @element_type: @fixed_size: @Returns: @dst: @name: @element_type: @dynamic_size: @Returns: @dst: @name: @referenced_type: @Returns: @dst: @name: @selector: @Returns: @dst: @discriminant: @name: @Returns: @dst: @struct_type: @name: @field_type: @Returns: @struct_type: @name: @selector: @Returns: @dst: @union_type: @name: @field_type: @Returns: @union_type: @element_type: @Returns: @dst: @type: @pre: @type: @post: @ps: @Returns: @ps: @val: @ps: @name: @ddt: @res: @Returns: @ps: @name: @data: @ddt: @Returns: @ps: @name: @data: @ddt: @ps: @name: @ddt: @ps: @ps: @Returns: