DAML+OIL for Application Developers

allows us to enumerate the members of a Class, e.g.


<daml:Class rdf:ID="color">
  <daml:oneOf rdf:parseType="daml:collection">
    <Color rdf:ID="red"/>
    <Color rdf:ID="white"/>
    <Color rdf:ID="blue"/>
  </daml:oneOf>
</daml:Class>