Command: MkCases - siegebell/vscoq GitHub Wiki

MkCases(typeName: string)

Returns a list of constructor names for the typeName.

<call val="MkCases"><string>${typeName}</string></call>

Returns

<value val="good">
  <list>
    <list><string>${constructor1}</string>...</list>
    ...
  </list>
</value>

Example

Call: <value val="good"><state_id val="1"/></value><call val="MkCases"><string>nat</string></call> Returns: <value val="good"><list><list><string>O</string></list><list><string>S</string><string>x</string></list></list></value>

Add a custom footer
⚠️ **GitHub.com Fallback** ⚠️