跳转到主要内容
用于表示任意类型元素“假设”的类型。
PropertyDescription
Description用于表示任意类型元素“假设”的类型。更多详情请参见 各类元素的假设。