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: @dst: @Returns: @name: @element_type: @dynamic_size: @dst: @Returns: @name: @referenced_type: @dst: @Returns: @name: @discriminant: @dst: @Returns: @name: @dst: @Returns: @struct_type: @name: @field_type: @Returns: @struct_type: @name: @selector: @dst: @Returns: @union_type: @name: @field_type: @Returns: @union_type: @element_type: @dst: @Returns: @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: