-
Notifications
You must be signed in to change notification settings - Fork 68
Command: MkCases
CJ Bell edited this page Oct 8, 2016
·
2 revisions
Returns a list of constructor names for the typeName
.
<call val="MkCases"><string>${typeName}</string></call>
<value val="good">
<list>
<list><string>${constructor1}</string>...</list>
...
</list>
</value>
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>