![]() |
rdf:parseType="daml:collection"
provides a shorthand notation for specifying a
daml:List
structure,
e.g.
<oneOf rdf:parseType="daml:collection">
<Color rdf:ID="red"/>
<Color rdf:ID="white"/>
<Color rdf:ID="blue"/>
</oneOf>
expands into
<oneOf>
<List>
<first>
<Color rdf:ID="red">
</first>
<rest>
<List>
<first>
<Color rdf:ID="white">
</first>
<rest>
<List>
<first>
<Color rdf:ID="blue">
</first>
<rest rdf:resource="http://www.daml.org/2001/03/daml+oil#nil"/>
</List>
</rest>
</List>
</rest>
</List>
</oneOf>
74 of 130 |