W.grammar 字段

定义

表示 w:grammar XML 属性。

public static readonly System.Xml.Linq.XName grammar;
 staticval mutable grammar : System.Xml.Linq.XName
Public Shared ReadOnly grammar As XName 

字段值

注解

作为 XML 属性,它:

  • 包含在以下 XML 元素中: proofState
  • 对应于以下强类型属性:ProofState.Grammar。

适用于